Records, Intersection type and lambda

[Vicente Romero]

Hi Bernard,

On 12/19/20 7:37 AM, B. Blaser wrote:
> Thanks Vicente.
>
> I guess I see the idea with the line you added to my original patch.
> However, I still believe it's not necessary for the purpose of this
> fix targeted to 16.
> So, I'd suggest to file a separate issue for that (to 17?) as it might
> have some side effects.
what side effects do you see?
>
> What do you think?
IMO, I think that the patch wouldn't be complete without that line

> Bernard

Vicente

>
> On Thu, 17 Dec 2020 at 21:14, Vicente Romero <vicente.romero at oracle.com> wrote:
>> Hi,
>>
>> There was a review that got closed bc nobody reviewed it. I will prepare
>> another PR targeting 16,
>>
>> Vicente
>>
>> On 11/18/20 10:21 AM, B. Blaser wrote:
>>> 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