pub fn span_invalid_monomorphization_error(a: &Session, b: Span, c: &str)