Proposal assumes there was a little bit of thought...

# language-proposals

[orangy]

Proposal assumes there was a little bit of thought given to issue itself. Given that Collection is an interface, and contains does not guarantee anything, even if don’t touch multithreading, compiler has no tiny chance to smartcast anything here.