Code

Handle dependent context functions#18443

Code

Merged

nicolasstucki merged 5 commits intoscala:mainscala/scala3:mainfrom

dotty-staging:handle-dependent-context-functionsdotty-staging/dotty:handle-dependent-context-functionsCopy head branch name to clipboard

Nov 14, 2023

Commits

Commits on Oct 12, 2023

• Handle dependent context functions

  Show description for cf034f0
  nicolasstucki

  committed
  cf034f0

  Copy full SHA for cf034f0

• Inline FunctionOf in FunctionTypeOfMethod and optimize

  nicolasstucki

  committed
  b0eaf17

  Copy full SHA for b0eaf17

• Optimize `FunctionTypeOfMethod`

  nicolasstucki

  committed
  94c01ff

  Copy full SHA for 94c01ff

• Optimize FunctionTypeOfMethod RefinedType guard

  nicolasstucki

  committed
  527dd8e

  Copy full SHA for 527dd8e

• Remove unnecessary guard for AppliedType

  nicolasstucki

  committed
  d5d8273

  Copy full SHA for d5d8273