git-issue-1419.dfy(8,4): Error: a exists expression involved in a predicate definition is not allowed to depend on the set of allocated references, but values of 'o' (of type 'set<object>') may contain references (see documentation for 'older' parameters)
git-issue-1419.dfy(17,4): Error: a exists expression involved in a predicate definition is not allowed to depend on the set of allocated references, but values of 'o' (of type 'SetOfObjects') may contain references (see documentation for 'older' parameters)
git-issue-1419.dfy(23,7): Error: type 'Reference' declared as containing no reference types, but the RHS type (object) may contain reference types
git-issue-1419.dfy(25,7): Error: type 'ReferenceX' declared as containing no reference types, but the RHS type (object) may contain reference types
git-issue-1419.dfy(27,7): Error: type 'ParamX' declared as containing no reference types, but the RHS type (X) may contain reference types
git-issue-1419.dfy(32,19): Error: type parameter 0 (X) passed to type Dt must contain no references (got object)
git-issue-1419.dfy(32,7): Error: type 'Dt1' declared as containing no reference types, but the RHS type (Dt<object, int>) may contain reference types
git-issue-1419.dfy(33,7): Error: type 'Dt2' declared as containing no reference types, but the RHS type (Dt<int, object>) may contain reference types
git-issue-1419.dfy(34,19): Error: type parameter 0 (X) passed to type Dt must contain no references (got object)
git-issue-1419.dfy(34,7): Error: type 'Dt3' declared as containing no reference types, but the RHS type (Dt<object, object>) may contain reference types
git-issue-1419.dfy(38,7): Error: type 'Et1' declared as containing no reference types, but the RHS type (Et<object, int>) may contain reference types
git-issue-1419.dfy(39,7): Error: type 'Et2' declared as containing no reference types, but the RHS type (Et<int, object>) may contain reference types
git-issue-1419.dfy(40,7): Error: type 'Et3' declared as containing no reference types, but the RHS type (Et<object, object>) may contain reference types
git-issue-1419.dfy(44,7): Error: type 'Ft1' declared as containing no reference types, but the RHS type (Ft<object, int>) may contain reference types
git-issue-1419.dfy(45,7): Error: type 'Ft2' declared as containing no reference types, but the RHS type (Ft<int, object>) may contain reference types
git-issue-1419.dfy(46,7): Error: type 'Ft3' declared as containing no reference types, but the RHS type (Ft<object, object>) may contain reference types
git-issue-1419.dfy(49,7): Error: type 'FuncB' declared as containing no reference types, but the RHS type (object -> bool) may contain reference types
git-issue-1419.dfy(50,7): Error: type 'FuncC' declared as containing no reference types, but the RHS type (bool -> object) may contain reference types
git-issue-1419.dfy(51,7): Error: type 'FuncD' declared as containing no reference types, but the RHS type (object -> object) may contain reference types
git-issue-1419.dfy(52,7): Error: type 'FuncE' declared as containing no reference types, but the RHS type ((int, int, object) -> bool) may contain reference types
git-issue-1419.dfy(56,7): Error: type 'Opaq0' declared as containing no reference types, but the RHS type (Opaque) may contain reference types
git-issue-1419.dfy(59,7): Error: type 'TypeParam0' declared as containing no reference types, but the RHS type (X) may contain reference types
git-issue-1419.dfy(65,7): Error: type 'ObjectSyn3' declared as containing no reference types, but the RHS type (ObjectSyn2) may contain reference types
git-issue-1419.dfy(94,4): Error: a exists expression involved in a predicate definition is not allowed to depend on the set of allocated references, but values of 'o' (of type 'A.Reference') may contain references (see documentation for 'older' parameters)
git-issue-1419.dfy(106,4): Error: a exists expression involved in a predicate definition is not allowed to depend on the set of allocated references, but values of 'o' (of type 'A.ReferenceX<int>') may contain references (see documentation for 'older' parameters)
git-issue-1419.dfy(110,4): Error: a exists expression involved in a predicate definition is not allowed to depend on the set of allocated references, but values of 'o' (of type 'A.ReferenceX<object>') may contain references (see documentation for 'older' parameters)
git-issue-1419.dfy(118,4): Error: a exists expression involved in a predicate definition is not allowed to depend on the set of allocated references, but values of 'o' (of type 'A.Param<object>') may contain references (see documentation for 'older' parameters)
git-issue-1419.dfy(126,4): Error: a exists expression involved in a predicate definition is not allowed to depend on the set of allocated references, but values of 'o' (of type 'A.Int') may contain references (see documentation for 'older' parameters)
git-issue-1419.dfy(130,4): Error: a exists expression involved in a predicate definition is not allowed to depend on the set of allocated references, but values of 'o' (of type 'A.Reference') may contain references (see documentation for 'older' parameters)
git-issue-1419.dfy(134,4): Error: a exists expression involved in a predicate definition is not allowed to depend on the set of allocated references, but values of 'o' (of type 'A.IntX<int>') may contain references (see documentation for 'older' parameters)
git-issue-1419.dfy(138,4): Error: a exists expression involved in a predicate definition is not allowed to depend on the set of allocated references, but values of 'o' (of type 'A.IntX<object>') may contain references (see documentation for 'older' parameters)
git-issue-1419.dfy(142,4): Error: a exists expression involved in a predicate definition is not allowed to depend on the set of allocated references, but values of 'o' (of type 'A.ReferenceX<int>') may contain references (see documentation for 'older' parameters)
git-issue-1419.dfy(146,4): Error: a exists expression involved in a predicate definition is not allowed to depend on the set of allocated references, but values of 'o' (of type 'A.ReferenceX<object>') may contain references (see documentation for 'older' parameters)
git-issue-1419.dfy(150,4): Error: a exists expression involved in a predicate definition is not allowed to depend on the set of allocated references, but values of 'o' (of type 'A.Param<int>') may contain references (see documentation for 'older' parameters)
git-issue-1419.dfy(154,4): Error: a exists expression involved in a predicate definition is not allowed to depend on the set of allocated references, but values of 'o' (of type 'A.Param<object>') may contain references (see documentation for 'older' parameters)
git-issue-1419.dfy(187,16): Error: type parameter (X) passed to type Param must contain no references (got object)
git-issue-1419.dfy(195,4): Error: a exists expression involved in a predicate definition is not allowed to depend on the set of allocated references, but values of 'o' (of type 'Obs') may contain references (see documentation for 'older' parameters)
git-issue-1419.dfy(202,7): Error: type 'X' declared as containing no reference types, but the RHS type (D) may contain reference types
git-issue-1419.dfy(205,7): Error: type 'SM0' declared as containing no reference types, but the RHS type (M<int>) may contain reference types
git-issue-1419.dfy(206,7): Error: type 'SM1' declared as containing no reference types, but the RHS type (M<object>) may contain reference types
git-issue-1419.dfy(210,7): Error: type 'SN1' declared as containing no reference types, but the RHS type (N<object>) may contain reference types
git-issue-1419.dfy(218,27): Error: type parameter (X) passed to method NoReferencesPlease must contain no references (got Y) (perhaps try declaring type parameter 'Y' on line 214 as 'Y(!new)', which says it can only be instantiated with a type that contains no references)
git-issue-1419.dfy(219,32): Error: type parameter (X) passed to method NoReferencesPlease must contain no references (got object)
git-issue-1419.dfy(252,7): Error: type 'SM0' declared as containing no reference types, but the RHS type (I.M<int>) may contain reference types
git-issue-1419.dfy(253,7): Error: type 'SM1' declared as containing no reference types, but the RHS type (I.M<object>) may contain reference types
git-issue-1419.dfy(256,7): Error: type 'SN1' declared as containing no reference types, but the RHS type (I.N<object>) may contain reference types
git-issue-1419.dfy(262,7): Error: type 'SM0' declared as containing no reference types, but the RHS type (I.M<int>) may contain reference types
git-issue-1419.dfy(263,7): Error: type 'SM1' declared as containing no reference types, but the RHS type (I.M<object>) may contain reference types
git-issue-1419.dfy(264,7): Error: type 'SN0' declared as containing no reference types, but the RHS type (I.N<int>) may contain reference types
git-issue-1419.dfy(265,7): Error: type 'SN1' declared as containing no reference types, but the RHS type (I.N<object>) may contain reference types
50 resolution/type errors detected in git-issue-1419.dfy
