Code

Fix regression in provablyDisjoint#12786

Code

Merged

OlivierBlanvillain merged 5 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:fix-regression-in-provably-disjointdotty-staging/dotty:fix-regression-in-provably-disjointCopy head branch name to clipboard

Aug 2, 2021

Commits

Commits on Jul 30, 2021

• Fix regression in provablyDisjoint

  OlivierBlanvillain

  committed
  bda342d

  Copy full SHA for bda342d

• Add test case

  OlivierBlanvillain

  committed
  d52b365

  Copy full SHA for d52b365

• Move fullyInstantiated to outer scope

  OlivierBlanvillain

  committed
  395cebe

  Copy full SHA for 395cebe

• Restore TermRef test when tp2 is fully instantiated

  OlivierBlanvillain

  committed
  ab1d64d

  Copy full SHA for ab1d64d

• Give on disjointness when seeing a Singleton type on either side

  OlivierBlanvillain

  committed
  4d6d72d

  Copy full SHA for 4d6d72d