Description
When you ask for completion after having written let f (x : < a_method : 'a >) = x#
, you get no useful suggestion, while the only possibility is in fact a_method
as per the type of x
.
This kind of suggestions already happens for record fields, and as far as I can see (I'm not an emacs user) it works on emacs for methods.