No, I don’t think it should. The whole point of pl...

# language-proposals

[abreslav]

No, I don’t think it should. The whole point of platform types is allowing them to be assigned in such situations. We’ve tried the other approach for a long time, and it didn’t quite work out