Code

Fix #5578: Refine matches condition#5622

Code

Merged

smarter merged 6 commits intoscala:masterscala/scala3:masterfrom

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

Jan 6, 2019

Commits

Commits on Dec 16, 2018

• Fix #5578: Refine matches condition

  Show description for 668a637
  odersky

  committed
  668a637

  Copy full SHA for 668a637

• Further fixes

  Show description for 9553980
  odersky

  committed
  9553980

  Copy full SHA for 9553980

• Drop invalid assertion

  Show description for 239ec17
  odersky

  committed
  239ec17

  Copy full SHA for 239ec17

• Refine type assignment of TypeApply

  Show description for 6fa2a3e
  odersky

  committed
  6fa2a3e

  Copy full SHA for 6fa2a3e

Commits on Dec 17, 2018

• Test case for #5445

  odersky

  committed
  6c31e64

  Copy full SHA for 6c31e64

Commits on Jan 4, 2019

• Revert "Workaround #4819: Avoid creating incorrect JointRefDenotations"

  Show description for ab62df0
  smarter

  committed
  ab62df0

  Copy full SHA for ab62df0