Typecheck: extractConcreteSupertype handle itself

nois-lang · Apr 30, 2024 · b52fea0 · b52fea0
1 parent 31407ba
commit b52fea0
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/typecheck/index.ts b/src/typecheck/index.ts
@@ -271,6 +271,10 @@ export const extractConcreteSupertype = (
 ): VirtualType | undefined => {
     if (type.kind !== 'vid-type') return undefined
 
+    if (vidEq(type.identifier, superVid)) {
+        return type
+    }
+
     const chain = findSuperRelChains(type.identifier, ctx)
         .filter(c => {
             const implType = <VidType>c.at(-1)!.implType