spurious error in polymorphic variant in signature #88
Description
In the following snippet
type foo = [`Foo]
val bar : [>foo]The foo on the second line is highlighted as an error.
{{ message }}
In the following snippet
type foo = [`Foo]
val bar : [>foo]The foo on the second line is highlighted as an error.