This valid snippet produce a non-sensical error message

[Tim-ats-d]

This following snippets produce this cryptic error message when hovering:

let a : type b. 'a as b list = []
 (* ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ *)

This definition has type bool which is less general than 'a. 'a

Even it's syntactically perfectly valid OCaml.

See #1118.