3 ms·
String <: String? is true (Any non-null string is a possibly null string), but String? <: String isn’t true (Any possibly null string may not be a non-null str
by seanmcdirmid 2y ago
String <: String? is true (Any non-null string is a possibly null string), but String? <: String isn’t true (Any possibly null string may not be a non-null string).
- wesselbindt 2y agoWe're all in agreement there it seems.
- seanmcdirmid 2y agoIf you just state it as a logical quantified proposition, it’s pretty obvious unless the type is complicated (then you need to break it down into multiple logical quantified propositions).
- wesselbindt 2y agoYes of course, but again, I don't think anyone disagrees with you on this.