ocamllsp(hole)/"typed hole" error on locally abstract type in an incomplete fragment

[2BitSalute]

Repro:

Type this fragment:

let eval_value (type a)

The (type a) is highlighted as an error, with the ocamllsp(hole) error message: This typed hole should be replaced with an expression of type 'a.

[voodoos]

Thanks for your report.

I think this is a Merlin issue. What happens is probably that Merlin's recovery fills the Typedtree with a hole, but since it is not a hole introduced by the user we should not issue that kind of "actionable" message relating to it.