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 clipboardNov 14, 2023

+27-9

Commits

Commits on Oct 12, 2023

• Handle dependent context functions

  Show description for cf034f0
  nicolasstucki

  committed
  cf034f0

• Inline FunctionOf in FunctionTypeOfMethod and optimize

  nicolasstucki

  committed
  b0eaf17

• Optimize FunctionTypeOfMethod

  nicolasstucki

  committed
  94c01ff

• Optimize FunctionTypeOfMethod RefinedType guard

  nicolasstucki

  committed
  527dd8e

• Remove unnecessary guard for AppliedType

  nicolasstucki

  committed
  d5d8273