Code

FIR: Self types draft#4796

Code

Draft

maxim092001 wants to merge 24 commits intoJetBrains:masterJetBrains/kotlin:masterfrom maxim092001:self-types-thesismaxim092001/kotlin:self-types-thesisCopy head branch name to clipboard

+2,241-77

Commits

Commits on Jan 7, 2023

• Self types: implementation of Self types using @Self as annotation.

  Show description for c71098e
  maxim092001

  committed
  c71098e

• Self types: Add Self type for class annotated with @self into all

  Show description for 3c4ce65
  maxim092001

  committed
  3c4ce65

• Self types: rewritten implementation of ControlFlowInfo from Kotlin

  Show description for 8f4d527
  maxim092001

  committed
  8f4d527

• rebase and fix conflicts

  maxim092001

  committed
  210d584

Commits on Jan 11, 2023

• Self types: Add enum class checker.

  maxim092001

  committed
  1391397

Commits on Jan 14, 2023

• Self types: Fix double <Self> in super type parameters

  maxim092001

  committed
  9cdec30

• Self types: diagnostics for annotation classes

  maxim092001

  committed
  ec1ca0f

Commits on Jan 16, 2023

• Self types: multiple tests added.

  Show description for d2848c5
  maxim092001

  committed
  d2848c5

Commits on Jan 20, 2023

• Self types: add test for object, refactor diagnostic tests

  maxim092001

  committed
  7942529

Commits on Jan 22, 2023

• Self types: refactor box tests structure.

  Show description for 0cd7520
  maxim092001

  committed
  0cd7520

Commits on Jan 27, 2023

• Self types: fix annotation find inside FirTypeResolverImpl

  maxim092001

  committed
  6ad8c6c

• Self types: refactor cfg tests

  maxim092001

  committed
  07fd7cc

• Self types: add self type parameter only for FirRegularClass

  Show description for 7780e18
  maxim092001

  committed
  7780e18

• Self types: test with self class as return type with implicit self type parameter

  maxim092001

  committed
  8649129

• Self types: test with self class as return type with implicit self type parameter

  Show description for 279889b
  maxim092001

  committed
  279889b

• Self types: test with self abstract class and manual self type parameter

  maxim092001

  committed
  42b129f

• Self types: more tests for nested classes

  Show description for 0a26bb4
  maxim092001

  committed
  0a26bb4

Commits on Feb 1, 2023

• Self types: add transformation chain test

  Show description for a17bc3e
  maxim092001

  committed
  a17bc3e

Commits on Feb 11, 2023

• Self types: add observer pattern test

  maxim092001

  committed
  896f2ad

Commits on Mar 5, 2023

• Self types: use this without explicit cast to Self

  Show description for 4eb4edc
  maxim092001

  committed
  4eb4edc

• Self types: remove unchecked cast check for Self types

  maxim092001

  committed
  6c03792

Commits on Mar 16, 2023

• Self types: add outer and nested self classes

  maxim092001

  committed
  c8abb59

• Self types: fix fir

  maxim092001

  committed
  8eea494

Commits on Mar 25, 2023

• Self types: change symbol name check to standard name in SelfTypeChecker

  maxim092001

  committed
  3ab3b57