Fixed generic alias equality.

Closes #85
Benjamin-Dobell · Jul 24, 2021 · 6a84154 · 6a84154
1 parent e953eba
commit 6a84154
Show file tree

Hide file tree

Showing 2 changed files with 20 additions and 0 deletions.
diff --git a/src/main/java/com/tang/intellij/lua/ty/TyGeneric.kt b/src/main/java/com/tang/intellij/lua/ty/TyGeneric.kt
@@ -142,6 +142,12 @@ open class TyGeneric(override val args: Array<out ITy>, override val base: ITy)
             return true
         }
 
+        val resolved = Ty.resolve(this, context)
+
+        if (resolved !== this) {
+            return resolved.equals(other, context)
+        }
+
         val resolvedOther = Ty.resolve(other, context)
 
         if (resolvedOther is ITyGeneric && args.size == resolvedOther.args.size && base.equals(resolvedOther.base, context)) {

diff --git a/src/test/kotlin/com/tang/intellij/test/issues/Issues.kt b/src/test/kotlin/com/tang/intellij/test/issues/Issues.kt
@@ -54,4 +54,18 @@ class Issues : LuaInspectionsTestBase(
         """.trimIndent()
         )
     }
+
+    // https://github.com/Benjamin-Dobell/IntelliJ-Luanalysis/issues/85
+    fun test85() {
+        check(
+            """
+            ---@alias set<x> table<x,any>
+
+            ---@type set<set<number>>
+            local aSet
+
+            aSet = aSet
+        """.trimIndent()
+        )
+    }
 }