Add maybe types - #26814

Draft

odersky wants to merge 27 commits into

dotty-staging:add-maybe-types

Commits on Aug 23, 2026

Allow `?` postfix operator
odersky
committed
1563a78
Desugar to Magic types
odersky
committed
1c45a6c
Fixing a crash when recompiling
odersky
committed
e448753
Allow magic only if -Yexplicit-nulls is also set
odersky
committed
e7018f7
Handling maybe types
odersky
committed
db3aca7
Move some of library and tests into bootstrapped directory
odersky
committed
b2933c6
Print maybe types with `?`
odersky
committed
cb63720
Treat magic as non-viral
odersky
committed
2a4dd40
Prepare for binary maybes
odersky
committed
3b8e300
Binary maybe
odersky
committed
f350d6c
Optimizations for maybe matching
odersky
committed
8ea3d2f
Fixes for handling orelse types
odersky
committed
2db561f
Adapt Space logic
odersky
committed
8479987
Fix maybe widening in TypeComparer
odersky
committed
c66c66f
Make Err constructor inline
odersky
committed
f3f7d25
Make T? a subtype of T | Null if T is not nullable
odersky
committed
4d32f70
Optimize redundant dual tests in pattern matcher
odersky
committed
dca4414
Disable orelse test under scalajs
odersky
committed
2a69fb9
Move Maybe class to magic.compiletime package
odersky
committed
fdb1883
Allow widening also for binary orelse types
odersky
committed
40fd4f1
Direct style core infrastructure
odersky
committed
e8f4685
Drop mostly redundant tests
odersky
committed
72c89c0
Make newSyntax setting depend on language imports
odersky
committed
1dc8395
Set source version to future under magic
odersky
committed
d33bb1e
Allow if without then in maybe blocks
odersky
committed
77cd4c5
Disallow maybes with wildcard arguments
odersky
committed
2415280
Optimizations of code patterns around maybes
odersky
committed
cd3d5d3