Code

Specify null safety subtyping#3515

Code

Open

eernstg wants to merge 21 commits intomaindart-lang/language:mainfrom specify_null_safety_subtyping_dec23dart-lang/language:specify_null_safety_subtyping_dec23Copy head branch name to clipboard

+766-488

Commits

Commits on Mar 6, 2025

• Integrate the null-safety subtyping rules into dartLangSpec.tex

  eernstg

  committed
  3f366a1

  Copy full SHA for 3f366a1

• Integrated null-safety into the appendix about subtyping

  eernstg

  committed
  0521682

  Copy full SHA for 0521682

• Fix a couple of typos

  eernstg

  committed
  e7d0461

  Copy full SHA for e7d0461

• Adjust dart.sty to change like specify_null_safety_sep21

  eernstg

  committed
  6411c20

  Copy full SHA for 6411c20

• WIP

  eernstg

  committed
  123d44b

  Copy full SHA for 123d44b

• Align this PR with specify_null_safety_sep21

  eernstg

  committed
  0d73d4e

  Copy full SHA for 0d73d4e

• WIP

  eernstg

  committed
  eec20de

  Copy full SHA for eec20de

• WIP

  eernstg

  committed
  2d33822

  Copy full SHA for 2d33822

• WIP

  eernstg

  committed
  029b799

  Copy full SHA for 029b799

• WIP

  eernstg

  committed
  fe4d7ff

  Copy full SHA for fe4d7ff

• WIP

  eernstg

  committed
  d0c78d9

  Copy full SHA for d0c78d9

• WIP

  eernstg

  committed
  7fdcabc

  Copy full SHA for 7fdcabc

• WIP

  eernstg

  committed
  7b7982c

  Copy full SHA for 7b7982c

• WIP

  eernstg

  committed
  8faee3a

  Copy full SHA for 8faee3a

• WIP

  eernstg

  committed
  6437681

  Copy full SHA for 6437681

• WIP

  eernstg

  committed
  8147f18

  Copy full SHA for 8147f18

• WIP

  eernstg

  committed
  6c5bc6c

  Copy full SHA for 6c5bc6c

• WIP

  eernstg

  committed
  cab83e6

  Copy full SHA for cab83e6

• WIP

  eernstg

  committed
  cd51310

  Copy full SHA for cd51310

• WIP

  eernstg

  committed
  d27d9c8

  Copy full SHA for d27d9c8

• Added section about explicitly resolved (fka canonical) syntax

  eernstg

  committed
  70aafbc

  Copy full SHA for 70aafbc