Inlined records as variant's argument are seen as unnamed tuples about gospel

[n-osborne]

I believe that this may come from the fact that internal representations for plain record and inlined record are different while typing pattern on records doesn't differentiate.

Plain records are represented with Tast.rec_declaration which contains a lsymbol for a generated contructor and a list of lsymbol label_declarations for the field, while inlined record are represented by a list of (Ident.t * ty) label_declarations.

I have to confess I don't really understand the need for the generated constructor (constr#type_name) for the plain record. But if we remove it, we can harmonize the way records (plain and inlined) are represented and this should at least bring us closer to a fix to this issue.

One other thing that should be done when removing the generated constructor for plain records is to add a Prec to Tterm.pattern_node.