Code

Miscellaneous CC fixes and tweaks#20564

Code

Closed

odersky wants to merge 4 commits intoscala:mainscala/scala3:mainfrom dotty-staging:change-local-escape-rulesdotty-staging/dotty:change-local-escape-rulesCopy head branch name to clipboard

+43-24

Commits

Commits on Jun 13, 2024

• Tighten rules against escaping local references

  Show description for 5571b5c
  odersky

  committed
  5571b5c

• Go back to expansion of capability class references at Setup

  Show description for d85818d
  odersky

  committed
  d85818d

• Drop expandedUniversalSet

  Show description for 464ab38
  odersky

  committed
  464ab38

Commits on Jun 14, 2024

• Change encoding of impure dependent function types

  Show description for 4b59986
  odersky

  committed
  4b59986