Records, Intersection type and lambda

B. Blaser bsrbnd at
Wed Nov 18 15:21:44 UTC 2020

On Tue, 17 Nov 2020 at 08:46, <forax at> 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?


More information about the compiler-dev mailing list