Code

A bunch of exhaustivity fixes#9816

Code

Merged

liufengyun merged 12 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:simplify-instantiateSubdotty-staging/dotty:simplify-instantiateSubCopy head branch name to clipboard

Sep 24, 2020

Commits

Commits on Sep 24, 2020

• Simplify instantiateToSubType

  liufengyun

  committed
  ee5b3ac

  Copy full SHA for ee5b3ac

• Fix #9631: Handle F-bounds with LazyRef

  liufengyun

  committed
  364a114

  Copy full SHA for 364a114

• Add tests

  liufengyun

  committed
  881d6dd

  Copy full SHA for 881d6dd

• Fix #6088: add test

  liufengyun

  committed
  2e377ca

  Copy full SHA for 2e377ca

• Fix t10100: add test

  liufengyun

  committed
  f1809bd

  Copy full SHA for f1809bd

• Add test t10373

  liufengyun

  committed
  3fa491a

  Copy full SHA for 3fa491a

• Add test t11649

  liufengyun

  committed
  a2f8f31

  Copy full SHA for a2f8f31

• Move test

  liufengyun

  committed
  58face2

  Copy full SHA for 58face2

• Allow deep subtyping for tests/pos/i9631.scala

  liufengyun

  committed
  fbb37cd

  Copy full SHA for fbb37cd

• Fix #9841: add test

  liufengyun

  committed
  881af37

  Copy full SHA for 881af37

• Add another test

  liufengyun

  committed
  5781514

  Copy full SHA for 5781514

• Address review

  liufengyun

  committed
  bf1b9a6

  Copy full SHA for bf1b9a6