Code

CC: Drop idempotent type maps#22910

Code

Merged

odersky merged 29 commits intoscala:mainscala/scala3:mainfrom

dotty-staging:drop-cc-typemapsdotty-staging/dotty:drop-cc-typemapsCopy head branch name to clipboard

Apr 11, 2025

Commits

Commits on Apr 3, 2025

• Fix override checking of alias vs abstract types

  Show description for d72e5ea
  odersky

  committed
  d72e5ea

  Copy full SHA for d72e5ea

• Refactor: Drop isSubType parameter for override checking

  Show description for 19dcfa2
  odersky

  committed
  19dcfa2

  Copy full SHA for 19dcfa2

• More targeted handling of overriding checks against CapSet^

  odersky

  committed
  e9cdf94

  Copy full SHA for e9cdf94

• Fix pathRoot

  odersky

  committed
  cd2b7e6

  Copy full SHA for cd2b7e6

• Simplify levelOK check for of Result(...) instances

  Show description for 58162ff
  odersky

  committed
  58162ff

  Copy full SHA for 58162ff

• Reject ParamRefs in capture sets that are not in the result type of the binder

  Show description for 9105cf3
  odersky

  committed
  9105cf3

  Copy full SHA for 9105cf3

• Harden checkApply duplicate error detection

  Show description for f6e5bc6
  odersky

  committed
  f6e5bc6

  Copy full SHA for f6e5bc6

• Under 3.8 solve all capture sets in types of vals and defs

  odersky

  committed
  fc06af6

  Copy full SHA for fc06af6

• Solve all capture sets in types of vals and defs by default

  odersky

  committed
  67446d2

  Copy full SHA for 67446d2

• Simplify setup

  odersky

  committed
  ccf9867

  Copy full SHA for ccf9867

• Fix to interpolation

  Show description for 1611183
  odersky

  committed
  1611183

  Copy full SHA for 1611183

• Redo handling of closures without relying on pre-existing maps

  odersky

  committed
  90cee43

  Copy full SHA for 90cee43

• Re-use `NamerOps.methodType when computing initial types of methods

  Show description for c662bc3
  odersky

  committed
  c662bc3

  Copy full SHA for c662bc3

• Drop some BiTypeMaps

  Show description for 50b0b4d
  odersky

  committed
  50b0b4d

  Copy full SHA for 50b0b4d

• Fuse successive SubstBindings maps and filters

  odersky

  committed
  dbd6f8f

  Copy full SHA for dbd6f8f

• Add tests that failed in CI before

  Show description for f33058c
  odersky

  committed
  f33058c

  Copy full SHA for f33058c

• Drop IdempotentCaptRefMap and Mapped sets

  odersky

  committed
  f43d24b

  Copy full SHA for f43d24b

• Unify existentials when matching function types

  odersky

  committed
  d8a8084

  Copy full SHA for d8a8084

• Tighten subsumption checking of Fresh instances

  Show description for 6d9dbf6
  odersky

  committed
  6d9dbf6

  Copy full SHA for 6d9dbf6

• Fix isPartOf

  Show description for 56de8df
  odersky

  committed
  56de8df

  Copy full SHA for 56de8df

• Fix SubstBindings BiTypeMap logic

  Show description for 09e05f0
  odersky

  committed
  09e05f0

  Copy full SHA for 09e05f0

• Variations on a test case

  odersky

  committed
  58d052e

  Copy full SHA for 58d052e

Commits on Apr 5, 2025

• Make captureSetofInfo cache in CaptureRefs depend on iteration count

  odersky

  committed
  bd0533a

  Copy full SHA for bd0533a

• Redo capture checks if necessary

  Show description for bb51ba0
  odersky

  committed
  bb51ba0

  Copy full SHA for bb51ba0

• Revert "Split posCC from pos tests"

  Show description for 99f5628
  odersky

  committed
  99f5628

  Copy full SHA for 99f5628

• Drop healTypeParam

  Show description for d674405
  odersky

  committed
  d674405

  Copy full SHA for d674405

Commits on Apr 6, 2025

• Refactor: move ccConfig into separate file

  odersky

  committed
  3dd4f10

  Copy full SHA for 3dd4f10

• Refactor: Move CCState to separate file and make it more class based

  odersky

  committed
  053341d

  Copy full SHA for 053341d

• Refactor: Move previously @sharable data to ccState

  Show description for 86970ef
  odersky

  committed
  86970ef

  Copy full SHA for 86970ef