azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
master
kotlin-fork/compiler/testData/diagnostics/testsWithStdLib/inference
T
History
Nikita Bobko 052baf1b04 Revert "[FIR] Enable ForbidInferringTypeVariablesIntoEmptyIntersection in 2.0" 
^KT-66196 Fixed
Keep it a warning in 2.0

This reverts commit be232d3e6f.
2024-02-28 18:08:11 +00:00
..
annotationsForResolve
Revert "[FIR] Enable ForbidInferringTypeVariablesIntoEmptyIntersection in 2.0"
2024-02-28 18:08:11 +00:00
completion/postponedArgumentsAnalysis
[FIR] Add proper constraint if Unit upper bound leads to Unit lambda return type
2023-12-12 08:36:49 +00:00
delegates
[FIR] Report INAPPLICABLE_CANDIDATE or more specific diagnostic for callable references
2023-11-08 15:45:48 +00:00
nothingType
…
performance
[FIR] fix resolve contract violation from scopes
2023-01-13 21:32:51 +00:00
arrayConstructor.kt
[TEST] Change semantics of CHECK_TYPE directive and update testdata
2020-11-13 10:36:12 +03:00
arrayConstructor.txt
…
callableReferenceOnParameter.fir.kt
[FIR] Skip redundant INAPPLICABLE_CANDIDATE on call with unresolved callable reference argument
2023-07-20 07:29:18 +00:00
callableReferenceOnParameter.kt
Extract diagnostics about references to variables to a separate one
2023-06-19 15:21:32 +00:00
callableReferenceOnParameter.txt
NI: don't do substitution for unsupported callable descriptors to use as callable references
2020-09-09 18:00:41 +03:00
integerLiterals.fir.kt
Remove explicit enabling the new type inference from test data
2022-07-22 16:03:52 +00:00
integerLiterals.kt
Remove explicit enabling the new type inference from test data
2022-07-22 16:03:52 +00:00
integerLiterals.txt
[NI] Decrease priority of Integer Literal Types in type checking
2019-03-29 11:55:30 +03:00
intersectDfiTypesBeforeCapturing.fir.kt
…
intersectDfiTypesBeforeCapturing.kt
…
intersectDfiTypesBeforeCapturing.txt
…
intersectionInputType.kt
Remove explicit enabling the new type inference from test data
2022-07-22 16:03:52 +00:00
intersectionInputType.txt
…
kt1558.fir.kt
[FIR] Adapt positioning of NO_VALUE_FOR_PARAMETER to match K1
2023-07-04 16:00:45 +00:00
kt1558.kt
[FIR JS] KT-51740: Alter positioning of NO_VALUE_FOR_PARAMETER
2022-09-30 21:39:20 +03:00
kt1558.txt
Fix testData in compiler: add collections and ranges package to fq-names.
2016-01-22 05:54:38 +03:00
kt3458.kt
[FIR] Fix missing receiver type if anonymous function without label
2020-04-08 14:56:17 +03:00
kt3458.txt
fix tests in org.jetbrains.kotlin.checkers
2015-09-08 02:04:32 +03:00
kt4975.kt
[FIR] Fix missing receiver type if anonymous function without label
2020-04-08 14:56:17 +03:00
kt4975.txt
Fix testData in compiler: add collections and ranges package to fq-names.
2016-01-22 05:54:38 +03:00
kt11266.kt
[FIR] Adapt positioning of NO_VALUE_FOR_PARAMETER to match K1
2023-07-04 16:00:45 +00:00
kt11266.ni.txt
[NI] Don't skip constraints with projections during variable fixation
2020-03-24 16:13:49 +03:00
kt11266.txt
Create hack for exception about "Empty intersection for types".
2016-06-17 01:39:44 +03:00
kt12008.kt
[Test] Disable UNUSED_* diagnostics in tests which are not belong to contolFlowAnalysis suite
2021-03-29 16:12:29 +03:00
kt12008.txt
Add tests for obsolete issues
2018-09-11 12:34:09 +03:00
kt27772.kt
[Tests] Trim contents before checking for FIR_IDENTICAL
2023-09-06 11:32:57 +00:00
kt27772.txt
[NI] Discard DefNotNull types inside invariant positions
2019-11-06 15:20:17 +03:00
kt30292.kt
Remove explicit enabling the new type inference from test data
2022-07-22 16:03:52 +00:00
kt30292.txt
[NI] Add capturing receiver type for callable references
2019-05-16 10:50:30 +03:00
kt32345.fir.kt
[LL FIR] rework transformers, so transformers resolve only a specific set of declarations
2023-04-19 20:12:38 +00:00
kt32345.kt
[LL FIR] rework transformers, so transformers resolve only a specific set of declarations
2023-04-19 20:12:38 +00:00
kt32345.txt
[NI] Discard DefNotNull types inside invariant positions
2019-11-06 15:20:17 +03:00
kt35847.kt
Remove explicit enabling the new type inference from test data
2022-07-22 16:03:52 +00:00
kt36249.fir.kt
[TD] Update diagnostics test data due to new test runners
2020-12-16 19:52:25 +03:00
kt36249.kt
[TD] Update diagnostics test data due to new test runners
2020-12-16 19:52:25 +03:00
kt36249.txt
[NI] Use alternative to intersection type in public declarations
2020-03-05 20:20:47 +03:00
kt36951.fir.kt
Remove explicit enabling the new type inference from test data
2022-07-22 16:03:52 +00:00
kt36951.javac.txt
[TD] Mute some javac tests or update their testdata
2020-12-16 19:52:25 +03:00
kt36951.kt
Remove explicit enabling the new type inference from test data
2022-07-22 16:03:52 +00:00
kt36951.txt
Disable IgnoreNullabilityForErasedValueParameters for indefinite time, ^KT-53751 Fixed
2022-09-13 16:45:06 +00:00
kt37627.fir.kt
Remove explicit enabling the new type inference from test data
2022-07-22 16:03:52 +00:00
kt37627.kt
Remove explicit enabling the new type inference from test data
2022-07-22 16:03:52 +00:00
kt37627.txt
NI: add test for KT-37628
2020-04-07 11:31:29 +03:00
kt38143.kt
[FIR] fix resolve contract violation from scopes
2023-01-13 21:32:51 +00:00
kt38143.txt
Do not check type depth for constrains generated on subtyping
2020-04-29 11:12:21 +02:00
kt38737.kt
FIR DFA: unwrap transparent expressions in more places
2022-11-22 15:44:35 +00:00
kt38737.txt
Add tests for obsolete issues
2020-08-11 12:34:02 +03:00
kt38801.kt
Add tests for obsolete issues
2020-08-11 12:34:02 +03:00
kt38801.txt
Add tests for obsolete issues
2020-08-11 12:34:02 +03:00
kt42620.fir.kt
[FIR] Properly handle callable references which were resolved with error
2021-04-16 11:12:55 +03:00
kt42620.kt
[Test] Disable UNUSED_* diagnostics in tests which are not belong to contolFlowAnalysis suite
2021-03-29 16:12:29 +03:00
plusAssignOnArrayList.kt
NI: Support forking inference with heuristics
2022-01-11 20:45:55 +03:00
recursiveFlexibleAssertions.fir.kt
Common supertypes: unwrap captured type from DNN type during recursion control
2023-10-05 12:17:17 +00:00
recursiveFlexibleAssertions.kt
Common supertypes: unwrap captured type from DNN type during recursion control
2023-10-05 12:17:17 +00:00
recursiveFlexibleAssertions.txt
[NI] CST: add preemptive recursion detection
2020-05-12 11:13:43 +03:00