Specify null safety - #2605

Open

eernstg wants to merge 89 commits into

mainfrom

specify_null_safety_sep21

Commits on Jul 14, 2026

Rebasing
eernstg
committed
7361f15
Typos: Escaping braces meant to be code
eernstg
committed
6c7d110
Eliminated text about migration features, adapted the remaining text to preserve the meaning for all null-safety features
eernstg
committed
f6092bf
Rebasing
eernstg
committed
8884c75
Reorganized material on null/Null
eernstg
committed
1df2c85
Rebase
eernstg
committed
1892fe6
Rebasing
eernstg
committed
e9035a8
Rebase
eernstg
committed
f678594
WIP
eernstg
committed
88ff9f3
Corrected last part of section Variables
eernstg
committed
b7dd7ce
Did expression typing, spread element, i2b
eernstg
committed
ce7ab90
Super-bounded types, least and greatest closure
eernstg
committed
ebbf248
Assignability, generics
eernstg
committed
67f2086
Extreme types
eernstg
committed
a255795
Extreme types, helper functions
eernstg
committed
15a1f15
Rebase
eernstg
committed
47feb66
.call insertion on nullable type; clean up BlindDefineSymbol
eernstg
committed
5192fc1
Rebase
eernstg
committed
673d6ee
Main
eernstg
committed
b940b42
Type Type
eernstg
committed
fde0d64
Type Type fixes
eernstg
committed
b80b367
More typeType fixes
eernstg
committed
bfa1d02
Constant instances (in particular: about canonical instances)
eernstg
committed
122d47d
Corrected variable initialization specification ("has been stored" rather than "first execution of getter/setter")
eernstg
committed
3d2a1c5
Small adjustments to Variables
eernstg
committed
2da1ec5
Rebase
eernstg
committed
90fe9fb
Boolean conversion; type test; made true/false terminology consistent with `Object` terminology
eernstg
committed
22b4421
Constant types; type variable elimination in constants
eernstg
committed
2d3778a
Conditional expression; operators && and ||; `if` statements; delete old section about promotion
eernstg
committed
7e431c2
Integrate Null Promotion; put v==null rules into Type Promotion, and fill in enough commentary to make that section make sense
eernstg
committed
b58f7ef
Null shorting
eernstg
committed
20cf864
Small fixes in section Null Shorting
eernstg
committed
0f72d77
Revisiting all occurrences of \NULL/Null/null
eernstg
committed
100eefc
Did much of Standard ... Bounds
eernstg
committed
baf4891
Standard bounds
eernstg
committed
9a66b28
Fixed the "SUB issues" section
eernstg
committed
04efa33
Rebase
eernstg
committed
aada807
Rebase
eernstg
committed
ccd6294
Rebase
eernstg
committed
6f9e463
Rebase
eernstg
committed
b11c646
Clarified and corrected Canonical Syntax
eernstg
committed
a0fee13
Fixed subsubsection --> subsection, 2*
eernstg
committed
c57001c
Typos
eernstg
committed
8563b64
Whitespace
eernstg
committed
8bd09d3
Interface type fixes
eernstg
committed
3f3171f
Sync with specify_null_safety_new_sections_dec21
eernstg
committed
c2ba619
Adjust no-loops-in-noSuchMethod example
eernstg
committed
2f31a47
Adjust no-loops-in-noSuchMethod example
eernstg
committed
06950f3
Corrected function type subtype rule (bounds); corrected "math" index entries
eernstg
committed
6f330a2
Adjust class building types
eernstg
committed
7e2d2b1
Adjust examples declaring non-nullable positional optional parameters with no default
eernstg
committed
2968f42
Add a TODO to introduce `Any`
eernstg
committed
dc18c17
Correct example in section about super-bounded types
eernstg
committed
b48046c
Correction based on https://github.com/dart-lang/language/issues/2679
eernstg
committed
25cfbe9
Typo
eernstg
committed
68a2333
Introduce \DynamicError, marking all dynamic errors just like compile-time errors have been for a while
eernstg
committed
7e7f51e
Correct dynamic type of tear-off with covariant parameter
eernstg
committed
73d33cd
Clarified tear-offs of methods with covariant parameters
eernstg
committed
3a340f5
Correct a typo about closurization
eernstg
committed
960f969
Correction: Add definition of normalizedType/topMergeType for member signatures
eernstg
committed
7483b74
Correction: Update dynamic type of covariant parameter to Object?
eernstg
committed
b7cabe4
Typo
eernstg
committed
a4864a4
Add commentary to emphasize that `new`/`const` can be implicit, and `new/const C<T>()` is still an error when `C<T>` is super-bounded
eernstg
committed
a32d343
Add missing updates in section typeVoid
eernstg
committed
4c18573
Add missing error: default values must be type correct
eernstg
committed
2001048
Add a paragraph explaining that the given section is about both optional and named parameters, not just parameters that are both
eernstg
committed
9fd82f8
Post-rebase error correction
eernstg
committed
9462ccb
Correct usages of "final variable" and "constant variable"
eernstg
committed
3b2a92c
Add missing declaration kind about getter/setter type error
eernstg
committed
4c1af39
Remove obsolete reference to "mixin composition" from section Superclasses
eernstg
committed
f02ff13
Add comment about default values of noSuchMethod forwarders being underspecified
eernstg
committed
8458ac2
Correct rule about the interface of T?
eernstg
committed
a53d6b6
Correct rule about interfaces of bounded types
eernstg
committed
0419c1b
Corrected many occurrences of "string" to "string literal"
eernstg
committed
37386ae
Update the "parameter name `_...`" error
eernstg
committed
248facd
Restore the index marker, define a command for it
eernstg
committed
ee7624c
Corrected the huge rebase operation (removed TODO material)
eernstg
committed
76b0ae5
Fix obsolete ref
eernstg
committed
a2994b8
Introduce <memberedDeclarationBody> and use it
eernstg
committed
49781d4
Add change log entry
eernstg
committed
5e53a0b
Clarified class building types
eernstg
committed
62582d0
Correct the order of "bind formals to actuals", which has been rather mixed until now
eernstg
committed
c6eed36
Correct the incorrect cleam that Null implements Object
eernstg
committed
c2e484d
Add missing cases to the definition of interface types
eernstg
committed
dd3edf5
WIP
eernstg
committed
f40c804
Remove wrong brace
eernstg
committed
a276c8e
Fix one-liner commentary
eernstg
committed
f8191e0
Correct constant rules around constant types
eernstg
committed
b31d2f5
Typo
eernstg
committed
05ae58f