azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[LightTree] Stop reporting NAME_IN_CONSTRAINT_IS_NOT_A_TYPE_PARAMETER on

Browse Source 
...local properties to make it similar to PSI.

See this logic in `org.jetbrains.kotlin.fir.builder.PsiRawFirBuilder.Visitor.toFirProperty`

^KT-62704
This commit is contained in:
Roman Efremov
2024-01-26 16:39:23 +01:00
committed by Space Team
parent 3c8855c152
commit d22cc01638
2 changed files with 7 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/fir/raw-fir/light-tree2fir/src/org/jetbrains/kotlin/fir/lightTree/converter/LightTreeRawFirDeclarationBuilder.kt
+3 -1
View File
@@ -1456,7 +1456,9 @@ class LightTreeRawFirDeclarationBuilder(
contextReceivers.addAll(convertContextReceivers(property))
}.also {
fillDanglingConstraintsTo(firTypeParameters, typeConstraints, it)
if (!isLocal) {
fillDanglingConstraintsTo(firTypeParameters, typeConstraints, it)
}
}
}
}
compiler/tests-spec/testData/diagnostics/notLinked/local-variables/type-parameters/neg/1.fir.kt
Vendored
+4 -4
View File
@@ -32,8 +32,8 @@ fun case_3() {
// TESTCASE NUMBER: 4
fun case_4() {
val <!LOCAL_VARIABLE_WITH_TYPE_PARAMETERS!><T><!> y1: Number where <!NAME_IN_CONSTRAINT_IS_NOT_A_TYPE_PARAMETER{LT}!>__UNRESOLVED__<!>: __UNRESOLVED__ = 1
var <!LOCAL_VARIABLE_WITH_TYPE_PARAMETERS!><T><!> y2: Number where <!NAME_IN_CONSTRAINT_IS_NOT_A_TYPE_PARAMETER{LT}!>__UNRESOLVED__<!>: __UNRESOLVED__ = 1
val <!LOCAL_VARIABLE_WITH_TYPE_PARAMETERS!><T><!> y1: Number where __UNRESOLVED__: __UNRESOLVED__ = 1
var <!LOCAL_VARIABLE_WITH_TYPE_PARAMETERS!><T><!> y2: Number where __UNRESOLVED__: __UNRESOLVED__ = 1
}
// TESTCASE NUMBER: 5
@@ -94,8 +94,8 @@ fun case_12() {
// TESTCASE NUMBER: 13
fun case_13() {
val <!LOCAL_VARIABLE_WITH_TYPE_PARAMETERS!><T : <!UNRESOLVED_REFERENCE!>__UNRESOLVED__<!>><!> <!REDECLARATION!>x<!>: Int where <!NAME_IN_CONSTRAINT_IS_NOT_A_TYPE_PARAMETER{LT}!>__UNRESOLVED__<!>: __UNRESOLVED__
var <!LOCAL_VARIABLE_WITH_TYPE_PARAMETERS!><T : <!UNRESOLVED_REFERENCE!>__UNRESOLVED__<!>><!> <!REDECLARATION!>x<!>: Int where <!NAME_IN_CONSTRAINT_IS_NOT_A_TYPE_PARAMETER{LT}!>__UNRESOLVED__<!>: __UNRESOLVED__
val <!LOCAL_VARIABLE_WITH_TYPE_PARAMETERS!><T : <!UNRESOLVED_REFERENCE!>__UNRESOLVED__<!>><!> <!REDECLARATION!>x<!>: Int where __UNRESOLVED__: __UNRESOLVED__
var <!LOCAL_VARIABLE_WITH_TYPE_PARAMETERS!><T : <!UNRESOLVED_REFERENCE!>__UNRESOLVED__<!>><!> <!REDECLARATION!>x<!>: Int where __UNRESOLVED__: __UNRESOLVED__
}
// TESTCASE NUMBER: 14