IteratorResolution.dfy(22,9): Error: LHS of assignment must denote a mutable field
IteratorResolution.dfy(24,9): Error: LHS of assignment must denote a mutable field
IteratorResolution.dfy(64,9): Error: LHS of assignment must denote a mutable field
IteratorResolution.dfy(69,18): Error: arguments must have comparable types (got _T0 and int)
IteratorResolution.dfy(84,16): Error: incorrect argument type for constructor in-parameter 't' (expected bool, found int)
IteratorResolution.dfy(81,19): Error: RHS (of type bool) not assignable to LHS (of type int)
IteratorResolution.dfy(129,11): Error: unresolved identifier: _decreases3
IteratorResolution.dfy(131,4): Error: LHS of assignment must denote a mutable field
IteratorResolution.dfy(130,26): Error: type of 'null' is a reference type, but it is used as int
IteratorResolution.dfy(138,11): Error: unresolved identifier: _decreases1
IteratorResolution.dfy(143,11): Error: unresolved identifier: _decreases0
IteratorResolution.dfy(157,18): Error: type parameter 0 (A) passed to type MyClass must support equality (got Stream)
IteratorResolution.dfy(157,18): Error: type parameter 0 (A) passed to type MyClass must support equality (got Stream)
IteratorResolution.dfy(158,18): Error: type parameter 1 (B) passed to type MyClass must support auto-initialization (got Six)
IteratorResolution.dfy(158,18): Error: type parameter 1 (B) passed to type MyClass must support auto-initialization (got Six)
IteratorResolution.dfy(165,18): Error: type parameter 0 (A) passed to type ClassWithConstructorX must support equality (got Stream)
IteratorResolution.dfy(165,18): Error: type parameter 0 (A) passed to type ClassWithConstructorX must support equality (got Stream)
IteratorResolution.dfy(166,18): Error: type parameter 1 (B) passed to type ClassWithConstructorX must support auto-initialization (got Six)
IteratorResolution.dfy(166,18): Error: type parameter 1 (B) passed to type ClassWithConstructorX must support auto-initialization (got Six)
IteratorResolution.dfy(173,40): Error: type parameter 0 (A) passed to constructor Init must support equality (got Stream)
IteratorResolution.dfy(174,40): Error: type parameter 1 (B) passed to constructor Init must support auto-initialization (got Six)
IteratorResolution.dfy(179,24): Error: type parameter 0 (A) passed to method MyMethod must support equality (got Stream)
IteratorResolution.dfy(180,22): Error: type parameter 1 (B) passed to method MyMethod must support auto-initialization (got Six)
IteratorResolution.dfy(185,13): Error: type parameter 0 (A) passed to function MyFunction must support equality (got Stream)
IteratorResolution.dfy(186,13): Error: type parameter 1 (B) passed to function MyFunction must support auto-initialization (got Six)
IteratorResolution.dfy(213,22): Error: type parameter 0 (A) passed to type MyIter must support equality (got Stream)
IteratorResolution.dfy(213,22): Error: type parameter 0 (A) passed to type MyIter must support equality (got Stream)
IteratorResolution.dfy(216,22): Error: type parameter 0 (A) passed to type MyIter must support equality (got Stream)
IteratorResolution.dfy(216,22): Error: type parameter 0 (A) passed to type MyIter must support equality (got Stream)
IteratorResolution.dfy(220,27): Error: type parameter 0 (A) passed to type MyIter must support equality (got Stream)
IteratorResolution.dfy(221,27): Error: type parameter 1 (B) passed to type MyIter must support auto-initialization (got Six)
IteratorResolution.dfy(223,16): Error: type parameter 0 (A) passed to type MyIter must support equality (got Stream)
IteratorResolution.dfy(226,19): Error: type parameter 0 (A) passed to type MyIter must support equality (got Stream)
IteratorResolution.dfy(230,35): Error: type parameter 0 (A) passed to type MyIter must support equality (got Stream)
IteratorResolution.dfy(230,35): Error: type parameter 0 (A) passed to type MyIter must support equality (got Stream)
IteratorResolution.dfy(235,20): Error: type parameter 0 (A) passed to type MyIter must support auto-initialization (got Five)
IteratorResolution.dfy(235,20): Error: type parameter 1 (B) passed to type MyIter must support auto-initialization (got Six)
IteratorResolution.dfy(235,20): Error: type parameter 0 (A) passed to type MyIter must support auto-initialization (got Five)
IteratorResolution.dfy(235,20): Error: type parameter 1 (B) passed to type MyIter must support auto-initialization (got Six)
IteratorResolution.dfy(260,22): Error: type parameter 1 (B) passed to type AnotherIter must support equality (got Stream)
IteratorResolution.dfy(260,22): Error: type parameter 1 (B) passed to type AnotherIter must support equality (got Stream)
IteratorResolution.dfy(262,22): Error: type parameter 1 (B) passed to type AnotherIter must support auto-initialization (got Six)
IteratorResolution.dfy(262,22): Error: type parameter 1 (B) passed to type AnotherIter must support auto-initialization (got Six)
IteratorResolution.dfy(292,21): Error: type parameter (_T0) passed to type Iter must support auto-initialization (got GenericCo<Magic>)
IteratorResolution.dfy(292,21): Error: type parameter (_T0) passed to type Iter must support auto-initialization (got GenericCo<Magic>)
IteratorResolution.dfy(298,21): Error: type parameter (_T0) passed to type Iter must support auto-initialization (got NonuniformGenericCo<bool>)
IteratorResolution.dfy(298,21): Error: type parameter (_T0) passed to type Iter must support auto-initialization (got NonuniformGenericCo<bool>)
IteratorResolution.dfy(325,23): Error: type of yield-parameter must support auto-initialization (got 'MaybeEmpty')
IteratorResolution.dfy(328,23): Error: type of yield-parameter must support auto-initialization (got 'GhostAutoInit')
IteratorResolution.dfy(334,29): Error: type of yield-parameter must support auto-initialization (got 'MaybeEmpty')
IteratorResolution.dfy(349,39): Error: when allocating an object of type 'GenericIteratorResult', one of its constructor methods must be called
IteratorResolution.dfy(351,32): Error: when allocating an object of type 'GenericIterator', one of its constructor methods must be called
52 resolution/type errors detected in IteratorResolution.dfy
