Code

Context-sensitive resolution#378

Code

Open

serras wants to merge 25 commits intomasterKotlin/KEEP:masterfrom

improved-resolution-expected-typeKotlin/KEEP:improved-resolution-expected-typeCopy head branch name to clipboard

Commits

Commits on Apr 12, 2024

• Improved resolution using expected type

  serras

  committed
  c524d66

  Copy full SHA for c524d66

Commits on May 10, 2024

• Clarify some rules

  serras

  committed
  5011dd9

  Copy full SHA for 5011dd9

Commits on May 30, 2024

• Improvements after meeting

  serras

  committed
  a1c7ee2

  Copy full SHA for a1c7ee2

Commits on Jun 3, 2024

• Change resolution of `as`

  serras

  committed
  8ffecdc

  Copy full SHA for 8ffecdc

Commits on Jun 5, 2024

• Mention companion object scope

  serras

  committed
  c533d8d

  Copy full SHA for c533d8d

Commits on Jun 7, 2024

• Small fix

  serras

  committed
  a42280d

  Copy full SHA for a42280d

• Add example for priority

  serras

  committed
  9e2619c

  Copy full SHA for 9e2619c

Commits on Jun 10, 2024

• Change rule for `as`

  serras

  committed
  5b5e081

  Copy full SHA for 5b5e081

Commits on Jun 17, 2024

• Add link to discussion

  serras

  committed
  dcf647c

  Copy full SHA for dcf647c

Commits on Jun 19, 2024

• Clarifications

  serras

  committed
  739e1fd

  Copy full SHA for 739e1fd

Commits on Jun 21, 2024

• Clarify what happens with lambdas

  serras

  committed
  d82b448

  Copy full SHA for d82b448

Commits on Jul 22, 2024

• Add section about intersection types

  serras

  committed
  0abbe15

  Copy full SHA for 0abbe15

Commits on Aug 28, 2024

• Small suggestions

  serras

  committed
  689df15

  Copy full SHA for 689df15

Commits on Sep 6, 2024

• Clarify rules with supertypes

  serras

  committed
  84ae2dd

  Copy full SHA for 84ae2dd

Commits on Nov 15, 2024

• New version with function arguments

  serras

  committed
  ca65fc7

  Copy full SHA for ca65fc7

Commits on Nov 18, 2024

• Examples for problems with functions

  serras

  committed
  42f9783

  Copy full SHA for 42f9783

• Refine definition of "no-argument callables"

  serras

  committed
  2fe4e7d

  Copy full SHA for 2fe4e7d

Commits on Nov 29, 2024

• Clarification

  serras

  committed
  62de9b6

  Copy full SHA for 62de9b6

• Fix

  serras

  committed
  780644a

  Copy full SHA for 780644a

• Clarification

  serras

  committed
  19a7949

  Copy full SHA for 19a7949

Commits on Dec 11, 2024

• Do not filter candidates

  serras

  committed
  aae806f

  Copy full SHA for aae806f

Commits on Dec 18, 2024

• Add information about limitations

  serras

  committed
  6715c2b

  Copy full SHA for 6715c2b

Commits on Mar 14, 2025

• Update to type casts

  serras

  committed
  d009a30

  Copy full SHA for d009a30

Commits on Mar 19, 2025

• Clarification about recursive single definite expected type

  serras

  committed
  66e6117

  Copy full SHA for 66e6117

Commits on Apr 2, 2025

• Renamed to context-sensitive resolution

  serras

  committed
  fbfb16d

  Copy full SHA for fbfb16d