Ticket #222: var-initializer-bindint.patch

Source/Members.cobra

@@ -1277 +1280 @@
     get returnTypeNode from var
 
     get resultType as IType is override
+        if not .didBindInt, .bindInt #  to call a method from a var/const initializer
         assert .didBindInt
         assert _returnType
         return _returnType to !

Tests/320-misc-two/502-bug-var-initialiser-bindint.cobra

@@ +1 @@
+# Ticket:222 CIE assertExc bindInt on expression in initializer
+class Program
+
+    var   a as int is shared
+    var d = 2 * .e # was COBRA INTERNAL ERROR
+
+    def main
+        pass
+
+    get e as int is shared  # BTW, same with or without shared.
+        return 2

Developer/IntermediateReleaseNotes.text

@@ -479 +479 @@
 * Fixed: Some invariants cause an internal error.  ticket:248
 
 * Fixed: Bad code gen for structs containing ref types.  ticket:238
+
+* Fixed: Bad attempt to declare var or constant causes COBRA INTERNAL ERROR. ticket:222