Records, Intersection type and lambda

[B. Blaser]

On Tue, 17 Nov 2020 at 08:46, <forax at univ-mlv.fr> wrote:
>
> yes, thanks !
> still not fixed :(

Probably not a frequent issue with usual classes but I believe this
might be a rather common use case with records, so I verified that my
initial fix is still working fine with your latest example.
However, Vicente seems to be investigating something else in the same
area but I'd suggest to eventually file a separate issue for that in
order to go ahead with my proposal, what do you think?

Thanks,
Bernard