fix: classify type parameters as defined types

koflin · Aug 18, 2023 · ed2d5a7 · ed2d5a7
1 parent 477ec98
commit ed2d5a7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/scala/viper/gobra/frontend/info/implementation/property/UnderlyingType.scala b/src/main/scala/viper/gobra/frontend/info/implementation/property/UnderlyingType.scala
@@ -213,7 +213,7 @@ trait UnderlyingType { this: TypeInfoImpl =>
     //   uint uint8 uint16 uint32 uint64 uintptr
     t match {
       // should be extended as new types are added to the language
-      case _: IntT | BooleanT | _: DeclaredT | StringT => true
+      case _: IntT | BooleanT | _: DeclaredT | StringT | _: TypeParameterT => true
       case _ => false
     }
   }