Store exact type, not one of the base class to inhibit assertion (#4818)

Signed-off-by: Anton Korobeynikov <[email protected]>
p4lang · Jul 19, 2024 · dbb133f · dbb133f
1 parent 6ae5875
commit dbb133f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/frontends/p4/typeChecking/typeConstraints.h b/frontends/p4/typeChecking/typeConstraints.h
@@ -28,7 +28,7 @@ namespace P4 {
 
 /// Creates a string that describes the values of current type variables
 class Explain : public Inspector {
-    absl::flat_hash_set<const IR::ITypeVar *, Util::Hash> explained;
+    absl::flat_hash_set<const IR::Type_Var *, Util::Hash> explained;
     const TypeVariableSubstitution *subst;
 
  public: