1 files changed, 12 insertions, 0 deletions
diff --git a/BCT/RegressionTests/TranslationTest/GeneralHeapInput.txt b/BCT/RegressionTests/TranslationTest/GeneralHeapInput.txt
index ea98c61b..d200d8d8 100644
--- a/BCT/RegressionTests/TranslationTest/GeneralHeapInput.txt
+++ b/BCT/RegressionTests/TranslationTest/GeneralHeapInput.txt
@@ -31,6 +31,8 @@ implementation Alloc() returns (x: ref)
 
 
 
+type Type;
+
 type Field;
 
 var $Heap: HeapType where IsGoodHeap($Heap);
@@ -53,6 +55,10 @@ function {:inline true} Write(H: HeapType, o: ref, f: Field, v: box) : HeapType
   H[o, f := v]
 }
 
+function $DynamicType(ref) : Type;
+
+const unique RegressionTestInput.AsyncAttribute: Type;
+
 procedure RegressionTestInput.AsyncAttribute.#ctor(this: int);
 
 
@@ -64,6 +70,8 @@ implementation RegressionTestInput.AsyncAttribute.#ctor(this: int)
 
 
 
+const unique RegressionTestInput.ClassWithBoolTypes: Type;
+
 var RegressionTestInput.ClassWithBoolTypes.staticB: bool;
 
 const unique RegressionTestInput.ClassWithBoolTypes.b: Field;
@@ -132,6 +140,8 @@ implementation RegressionTestInput.ClassWithBoolTypes.Main()
 
 
 
+const unique RegressionTestInput.ClassWithArrayTypes: Type;
+
 var RegressionTestInput.ClassWithArrayTypes.s: int;
 
 const unique RegressionTestInput.ClassWithArrayTypes.a: Field;
@@ -257,6 +267,8 @@ implementation RegressionTestInput.ClassWithArrayTypes.#ctor(this: int)
 
 
 
+const unique RegressionTestInput.Class0: Type;
+
 var RegressionTestInput.Class0.StaticInt: int;
 
 procedure RegressionTestInput.Class0.StaticMethod$System.Int32(x$in: int) returns ($result: int);