Code

Remove warnings#3320

Code

Merged

allanrenucci merged 4 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:remove-wariningsdotty-staging/dotty:remove-wariningsCopy head branch name to clipboard

Oct 23, 2017

Commits

Commits on Oct 13, 2017

• Avoid patern match on erased type warining

  nicolasstucki

  committed
  d1c8f1e

  Copy full SHA for d1c8f1e

• Avoid LocalName.N type instantiation warining

  nicolasstucki

  committed
  1695228

  Copy full SHA for 1695228

• Make pattern matchas pass exhaustivity check

  nicolasstucki

  committed
  2abb529

  Copy full SHA for 2abb529

Commits on Oct 23, 2017

• Add assertion in case that was previously missing

  nicolasstucki

  authored
  2d04a78

  Copy full SHA for 2d04a78