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.