AsIs-Resolve.dfy(23,15): Error: RHS (of type M<V>) not assignable to LHS (of type int)
AsIs-Resolve.dfy(24,18): Error: RHS (of type M<V>) not assignable to LHS (of type Opaque)
AsIs-Resolve.dfy(25,19): Error: RHS (of type M<V>) not assignable to LHS (of type ValSyn)
AsIs-Resolve.dfy(26,6): Error: RHS (of type M?<V>) not assignable to LHS (of type int)
AsIs-Resolve.dfy(27,6): Error: RHS (of type M?<V>) not assignable to LHS (of type Opaque)
AsIs-Resolve.dfy(28,7): Error: RHS (of type M?<V>) not assignable to LHS (of type ValSyn)
AsIs-Resolve.dfy(33,15): Error: type conversions are not supported to this type (got Opaque)
AsIs-Resolve.dfy(36,12): Error: type conversions are not supported to this type (got Opaque)
AsIs-Resolve.dfy(32,15): Error: type conversion to an int-based type is allowed only from numeric and bitvector types, char, and ORDINAL (got M<_T0>)
AsIs-Resolve.dfy(34,16): Error: type conversion to an ORDINAL type is allowed only from numeric and bitvector types, char, and ORDINAL (got M<_T0>)
AsIs-Resolve.dfy(35,12): Error: type conversion to an int-based type is allowed only from numeric and bitvector types, char, and ORDINAL (got M?<_T0>)
AsIs-Resolve.dfy(37,13): Error: type conversion to an ORDINAL type is allowed only from numeric and bitvector types, char, and ORDINAL (got M?<_T0>)
AsIs-Resolve.dfy(52,19): Error: RHS (of type M<V>) not assignable to LHS (of type RefSyn)
AsIs-Resolve.dfy(61,7): Error: RHS (of type M?<V>) not assignable to LHS (of type RefSyn)
AsIs-Resolve.dfy(70,21): Error: RHS (of type M<V>) not assignable to LHS (of type RefSyn?)
AsIs-Resolve.dfy(79,8): Error: RHS (of type M?<V>) not assignable to LHS (of type RefSyn?)
AsIs-Resolve.dfy(49,13): Error: RHS (of type M<V>) not assignable to LHS (of type K<?>)
AsIs-Resolve.dfy(50,13): Error: RHS (of type M<V>) not assignable to LHS (of type L<?>)
AsIs-Resolve.dfy(58,6): Error: RHS (of type M?<V>) not assignable to LHS (of type K<?>)
AsIs-Resolve.dfy(59,6): Error: RHS (of type M?<V>) not assignable to LHS (of type L<?>)
AsIs-Resolve.dfy(67,15): Error: RHS (of type M<V>) not assignable to LHS (of type K?<?>)
AsIs-Resolve.dfy(68,15): Error: RHS (of type M<V>) not assignable to LHS (of type L?<?>)
AsIs-Resolve.dfy(76,7): Error: RHS (of type M?<V>) not assignable to LHS (of type K?<?>)
AsIs-Resolve.dfy(77,7): Error: RHS (of type M?<V>) not assignable to LHS (of type L?<?>)
AsIs-Resolve.dfy(94,16): Error: type cast to reference type 'RefSyn' must be from an expression assignable to it (got 'M<V>')
AsIs-Resolve.dfy(103,13): Error: type cast to reference type 'RefSyn' must be from an expression assignable to it (got 'M?<V>')
AsIs-Resolve.dfy(91,15): Error: type cast to reference type 'K<?>' must be from an expression assignable to it (got 'M<V>')
AsIs-Resolve.dfy(92,15): Error: type cast to reference type 'L<?>' must be from an expression assignable to it (got 'M<V>')
AsIs-Resolve.dfy(100,12): Error: type cast to reference type 'K<?>' must be from an expression assignable to it (got 'M?<V>')
AsIs-Resolve.dfy(101,12): Error: type cast to reference type 'L<?>' must be from an expression assignable to it (got 'M?<V>')
AsIs-Resolve.dfy(109,16): Error: type cast to reference type 'K?<?>' must be from an expression assignable to it (got 'M<V>')
AsIs-Resolve.dfy(110,16): Error: type cast to reference type 'L?<?>' must be from an expression assignable to it (got 'M<V>')
AsIs-Resolve.dfy(117,13): Error: type cast to reference type 'K?<?>' must be from an expression assignable to it (got 'M?<V>')
AsIs-Resolve.dfy(118,13): Error: type cast to reference type 'L?<?>' must be from an expression assignable to it (got 'M?<V>')
AsIs-Resolve.dfy(128,11): Error: type cast to reference type 'M<V>' must be from an expression assignable to it (got 'K<V>')
AsIs-Resolve.dfy(129,11): Error: type cast to reference type 'M<V>' must be from an expression assignable to it (got 'L<V>')
AsIs-Resolve.dfy(130,12): Error: type cast to reference type 'M<V>' must be from an expression assignable to it (got 'RefSyn')
AsIs-Resolve.dfy(137,12): Error: type cast to reference type 'M?<V>' must be from an expression assignable to it (got 'K<V>')
AsIs-Resolve.dfy(138,12): Error: type cast to reference type 'M?<V>' must be from an expression assignable to it (got 'L<V>')
AsIs-Resolve.dfy(139,13): Error: type cast to reference type 'M?<V>' must be from an expression assignable to it (got 'RefSyn')
AsIs-Resolve.dfy(148,12): Error: type cast to reference type 'M<V>' must be from an expression assignable to it (got 'K?<V>')
AsIs-Resolve.dfy(149,12): Error: type cast to reference type 'M<V>' must be from an expression assignable to it (got 'L?<V>')
AsIs-Resolve.dfy(150,13): Error: type cast to reference type 'M<V>' must be from an expression assignable to it (got 'RefSyn?')
AsIs-Resolve.dfy(157,13): Error: type cast to reference type 'M?<V>' must be from an expression assignable to it (got 'K?<V>')
AsIs-Resolve.dfy(158,13): Error: type cast to reference type 'M?<V>' must be from an expression assignable to it (got 'L?<V>')
AsIs-Resolve.dfy(159,14): Error: type cast to reference type 'M?<V>' must be from an expression assignable to it (got 'RefSyn?')
AsIs-Resolve.dfy(211,11): Error: type test for type 'real -> nat' must be from an expression assignable to it (got 'int -> nat') (contravariance for type parameter at index 0 expects real <: int)
AsIs-Resolve.dfy(221,11): Error: type test for type 'real --> nat' must be from an expression assignable to it (got 'int ~> nat') (contravariance for type parameter at index 0 expects real <: int)
AsIs-Resolve.dfy(183,11): Error: type test for type 'A<bv10>' must be from an expression assignable to it (got 'M<string>') (non-variant type parameter would require bv10 = seq<(string, string)>)
AsIs-Resolve.dfy(193,24): Error: type test for type 'List<int>' must be from an expression assignable to it (got 'List<real>') (non-variant type parameter would require int = real)
AsIs-Resolve.dfy(201,19): Error: type test for type 'VeryShortList<real>' must be from an expression assignable to it (got 'VeryShortList<int>') (non-variant type parameter would require real = int)
AsIs-Resolve.dfy(204,18): Error: type test for type 'Stream<char>' must be from an expression assignable to it (got 'Stream<int>') (non-variant type parameter would require char = int)
AsIs-Resolve.dfy(212,11): Error: type test for type 'int -> real' must be from an expression assignable to it (got 'int -> nat') (covariant type parameter 1 would require nat <: real)
AsIs-Resolve.dfy(213,11): Error: type test for type 'int -> Odd' must be from an expression assignable to it (got 'int -> nat') (covariant type parameter 1 would require nat <: Odd)
AsIs-Resolve.dfy(220,11): Error: type test for type 'int ~> real' must be from an expression assignable to it (got 'int ~> nat') (covariant type parameter 1 would require nat <: real)
AsIs-Resolve.dfy(185,11): Error: type cast to reference type 'C<(int, real)>' must be from an expression assignable to it (got 'M<string>') (non-variant type parameter would require (int, real) = (string, string)) (covariant type parameter 0 would require string <: int)
AsIs-Resolve.dfy(196,9): Error: incorrect argument type at index 0 for datatype constructor parameter (expected real, found int)
AsIs-Resolve.dfy(229,15): Error: type test for type 'object' must be from an expression assignable to it (got 'T')
AsIs-Resolve.dfy(230,18): Error: type test for type 'array<object>' must be from an expression assignable to it (got 'array<T>') (nonvariance for type parameter expects object = T)
AsIs-Resolve.dfy(231,18): Error: type test for type 'array<int>' must be from an expression assignable to it (got 'array<T>') (nonvariance for type parameter expects int = T)
AsIs-Resolve.dfy(232,16): Error: type test for type 'T' must be from an expression assignable to it (got 'U')
AsIs-Resolve.dfy(234,16): Error: type test for type 'object' must be from an expression assignable to it (got 'U')
AsIs-Resolve.dfy(235,16): Error: type test for type 'object?' must be from an expression assignable to it (got 'U')
AsIs-Resolve.dfy(238,20): Error: type test for type 'U' must be from an expression assignable to it (got 'object')
AsIs-Resolve.dfy(247,18): Error: type test for type 'array<TraitX>' must be from an expression assignable to it (got 'array<ClassX>') (nonvariance for type parameter expects TraitX = ClassX)
AsIs-Resolve.dfy(248,18): Error: type test for type 'array<ClassX>' must be from an expression assignable to it (got 'array<TraitX>') (nonvariance for type parameter expects ClassX = TraitX)
AsIs-Resolve.dfy(270,12): Error: an expression of type 'D<X>' is not run-time checkable to be a 'F<X, X>'
AsIs-Resolve.dfy(273,12): Error: an expression of type 'T<int>' is not run-time checkable to be a 'I<X>'
AsIs-Resolve.dfy(280,12): Error: an expression of type 'D<real>' is not run-time checkable to be a 'F<real, real>'
AsIs-Resolve.dfy(283,12): Error: an expression of type 'T<int>' is not run-time checkable to be a 'I<real>'
AsIs-Resolve.dfy(306,11): Error: an expression of type 'object' is not run-time checkable to be a 'TriviallyObject<real>'
AsIs-Resolve.dfy(308,21): Error: an expression of type 'object' is not run-time checkable to be a 'TriviallyObject<real>'
72 resolution/type errors detected in AsIs-Resolve.dfy
