Open
Description
This code exposes internally generated type identifiers in error messages:
Repro steps
type C() =
static member M<'a,'b>(a: 'a, b: 'b) = a + b
Expected behavior
A type parameter is missing a constraint 'when ( ^a or ^b) : (static member ( + ) : ^a * ^b -> ^c) ...'
Actual behavior
A type parameter is missing a constraint 'when ( ^a or ^b) : (static member ( + ) : ^a * ^b -> ^?8018)'
Related information
vs 2019 16.0.3
ionide 3.37.0