3 ms·
That's exactly the unsoundness proof I was talking about and it is indeed caused by a bad interaction between generics, existentials, and null.
by tel 9y ago
That's exactly the unsoundness proof I was talking about and it is indeed caused by a bad interaction between generics, existentials, and null.
- evmar 9y agoI see. Sorry for misunderstanding your comment.