Heyo,

On Mon, 16 Aug 2021, 02:04 Tobias Nyholm, <tobias.nyh...@gmail.com> wrote:

>  It is to correct a mistake


No mistake: the "pure intersection types" RFC was explicitly designed to
avoid scope creep (this RFC).

Reply via email to