Code

Fix #6314: match type unsoundness#6319

Code

Merged

OlivierBlanvillain merged 11 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:fix-6314dotty-staging/dotty:fix-6314Copy head branch name to clipboard

May 17, 2019

Commits

Commits on Apr 29, 2019

• Use .zipped.forall instead zip_zip_forall

  OlivierBlanvillain

  committed
  df1bf4d

  Copy full SHA for df1bf4d

• Don't assume types in & are sorted

  OlivierBlanvillain

  committed
  f889bf8

  Copy full SHA for f889bf8

• Update exhaustivity tests for loosen rules

  OlivierBlanvillain

  committed
  992150b

  Copy full SHA for 992150b

• Remove EqualsPatternClass

  Show description for be29f14
  OlivierBlanvillain

  committed
  be29f14

  Copy full SHA for be29f14

• Special case intersecting for Singleton

  Show description for 1fc0059
  OlivierBlanvillain

  committed
  1fc0059

  Copy full SHA for 1fc0059

• Don't special case bottom

  OlivierBlanvillain

  committed
  7e669b7

  Copy full SHA for 7e669b7

• Speed up runtime test

  Show description for 3f89e4c
  OlivierBlanvillain

  committed
  3f89e4c

  Copy full SHA for 3f89e4c

• Add a subtype check with Wildcard types

  Show description for ace48a2
  OlivierBlanvillain

  committed
  ace48a2

  Copy full SHA for ace48a2

• Add test cases from #6314

  OlivierBlanvillain

  committed
  0cec095

  Copy full SHA for 0cec095

Commits on May 9, 2019

• Refactor intersecting as disjoint

  OlivierBlanvillain

  committed
  96bd9db

  Copy full SHA for 96bd9db

Commits on May 16, 2019

• Follow type aliases in widenAbstractTypes

  Show description for 74ca923
  OlivierBlanvillain

  committed
  74ca923

  Copy full SHA for 74ca923