Code

Make reach refinement shallow#19171

Code

Merged

Linyxus merged 3 commits intoscala:mainscala/scala3:mainfrom

dotty-staging:refine-reach-shallowdotty-staging/dotty:refine-reach-shallowCopy head branch name to clipboard

Dec 6, 2023

Commits

Commits on Dec 2, 2023

• Make reach refinement shallow

  Linyxus

  committed
  aa2d344

  Copy full SHA for aa2d344

• Add a test case

  Linyxus

  committed
  82bf8fc

  Copy full SHA for 82bf8fc

Commits on Dec 6, 2023

• Refactor narrowCaps

  Linyxus

  committed
  64242f4

  Copy full SHA for 64242f4