caa850e470
FIR: render resolved qualifier type arguments in dumps
2024-01-17 16:51:48 +00:00
5daafd5ed5
FirNestedClassifierScope: don't give empty map substitutor to a processor
...
Optimization related to KT-58008 (hides the issue in some cases)
2023-04-25 16:42:59 +00:00
e7148daad2
[FIR] Properly substitute arguments of error types
2023-01-12 17:45:06 +00:00
01c6c7dc59
[FIR] Properly approximate return type of callable declarations
...
- approximate intersection types in all non-local declarations
- approximate local types in non-private non-local declarations
2022-11-22 15:46:20 +00:00
b2d020606e
FIR: don't generate extension callable reference without receiver
2021-11-12 12:53:29 +03:00
cd99c35649
FIR: instantiate type argument to captured type if needed
2021-08-09 14:38:30 +03:00
ddc9c1bd1b
[FIR] Fix extension property reference resolution
...
On type with star projection
#KT-44372 Fixed
2021-06-09 15:15:28 +03:00
9b39a8abc2
FIR: avoid wrapping an erroneous type as FirResolvedTypeRef
...
Instead, use FirErrorTypeRef, a subtype of FirResolvedTypeRef
2021-04-29 22:31:38 +03:00
e869f8091a
[FIR] Properly handle callable references which were resolved with error
2021-04-16 11:12:55 +03:00
d53354057a
FIR: build functional type for SAM with receiver properly
2021-01-12 10:33:55 +03:00
e6b5cb5216
[TD] Update diagnostics test data due to new test runners
...
Update includes:
- Changing syntax of `OI/`NI` tags from `<!NI;TAG!>` to `<!TAG{NI}!>`
- Fix some incorrect directives
- Change order of diagnostics in some places
- Remove ignored diagnostics from FIR test data (previously `DIAGNOSTICS` didn't work)
- Update FIR dumps in some places and add `FIR_IDENTICAL` if needed
- Replace all JAVAC_SKIP with SKIP_JAVAC directive
2020-12-16 19:52:25 +03:00
Mikhail Glukhikh