FIR: Self types draft#4796

Draft

maxim092001 wants to merge 24 commits intoJetBrains:masterfrom

maxim092001:self-types-thesis

Commits on Jan 11, 2023

Self types: Add enum class checker.
maxim092001
committed

Commits on Jan 14, 2023

Commits on Jan 16, 2023

Self types: multiple tests added.
maxim092001
committed

Commits on Jan 20, 2023

Self types: add test for object, refactor diagnostic tests
maxim092001
committed

Commits on Jan 22, 2023

Self types: refactor box tests structure.
maxim092001
committed

Commits on Jan 27, 2023

Commits on Feb 1, 2023

Self types: add transformation chain test
maxim092001
committed

Commits on Feb 11, 2023

Self types: add observer pattern test
maxim092001
committed

Commits on Mar 5, 2023

Commits on Mar 16, 2023

Commits on Mar 25, 2023

Self types: change symbol name check to standard name in SelfTypeChecker
maxim092001
committed