BoundedPolymorphismResolution.dfy(20,30): Error: Type or type parameter is not declared in this scope: Unknown (did you forget to qualify a name or declare a module import 'opened'?) (note that names in outer modules are not visible in contained modules)
BoundedPolymorphismResolution.dfy(22,26): Error: Type or type parameter is not declared in this scope: Unknown (did you forget to qualify a name or declare a module import 'opened'?) (note that names in outer modules are not visible in contained modules)
BoundedPolymorphismResolution.dfy(24,34): Error: Type or type parameter is not declared in this scope: Unknown (did you forget to qualify a name or declare a module import 'opened'?) (note that names in outer modules are not visible in contained modules)
BoundedPolymorphismResolution.dfy(26,36): Error: Type or type parameter is not declared in this scope: Unknown (did you forget to qualify a name or declare a module import 'opened'?) (note that names in outer modules are not visible in contained modules)
BoundedPolymorphismResolution.dfy(4,24): Error: Type or type parameter is not declared in this scope: Unknown (did you forget to qualify a name or declare a module import 'opened'?) (note that names in outer modules are not visible in contained modules)
BoundedPolymorphismResolution.dfy(6,21): Error: Type or type parameter is not declared in this scope: Unknown (did you forget to qualify a name or declare a module import 'opened'?) (note that names in outer modules are not visible in contained modules)
BoundedPolymorphismResolution.dfy(8,24): Error: Type or type parameter is not declared in this scope: Unknown (did you forget to qualify a name or declare a module import 'opened'?) (note that names in outer modules are not visible in contained modules)
BoundedPolymorphismResolution.dfy(8,24): Error: Type or type parameter is not declared in this scope: Unknown (did you forget to qualify a name or declare a module import 'opened'?) (note that names in outer modules are not visible in contained modules)
BoundedPolymorphismResolution.dfy(11,31): Error: Type or type parameter is not declared in this scope: Unknown (did you forget to qualify a name or declare a module import 'opened'?) (note that names in outer modules are not visible in contained modules)
BoundedPolymorphismResolution.dfy(14,26): Error: Type or type parameter is not declared in this scope: Unknown (did you forget to qualify a name or declare a module import 'opened'?) (note that names in outer modules are not visible in contained modules)
BoundedPolymorphismResolution.dfy(18,38): Error: Type or type parameter is not declared in this scope: Z (did you forget to qualify a name or declare a module import 'opened'?) (note that names in outer modules are not visible in contained modules)
BoundedPolymorphismResolution.dfy(28,26): Error: Type or type parameter is not declared in this scope: Unknown (did you forget to qualify a name or declare a module import 'opened'?) (note that names in outer modules are not visible in contained modules)
BoundedPolymorphismResolution.dfy(28,26): Error: Type or type parameter is not declared in this scope: Unknown (did you forget to qualify a name or declare a module import 'opened'?) (note that names in outer modules are not visible in contained modules)
BoundedPolymorphismResolution.dfy(38,6): Error: RHS (of type X) not assignable to LHS (of type Trait)
BoundedPolymorphismResolution.dfy(39,11): Error: type test for type 'Trait' must be from an expression assignable to it (got 'X')
BoundedPolymorphismResolution.dfy(40,11): Error: type test for type 'AnotherTrait' must be from an expression assignable to it (got 'X')
BoundedPolymorphismResolution.dfy(41,11): Error: type test for type 'object' must be from an expression assignable to it (got 'X')
BoundedPolymorphismResolution.dfy(42,11): Error: type cast to reference type 'Trait' must be from an expression assignable to it (got 'X')
BoundedPolymorphismResolution.dfy(44,13): Error: arguments must have comparable types (got X and Trait)
BoundedPolymorphismResolution.dfy(56,11): Error: type Y does not have a member n
BoundedPolymorphismResolution.dfy(54,11): Error: type cast to trait type 'Trait' must be from an expression assignable to it (got 'Y')
BoundedPolymorphismResolution.dfy(55,12): Error: type cast to trait type 'Trait' must be from an expression assignable to it (got 'Y')
BoundedPolymorphismResolution.dfy(62,12): Error: type cast to reference type 'object' must be from an expression assignable to it (got 'Z')
BoundedPolymorphismResolution.dfy(63,9): Error: type of 'null' is a reference type, but it is used as Z
BoundedPolymorphismResolution.dfy(69,9): Error: type of 'null' is a reference type, but it is used as Z
BoundedPolymorphismResolution.dfy(75,15): Error: type cast to trait type 'XTrait<int>' must be from an expression assignable to it (got 'T')
BoundedPolymorphismResolution.dfy(76,15): Error: type cast to trait type 'XTrait<bool>' must be from an expression assignable to it (got 'T')
BoundedPolymorphismResolution.dfy(87,11): Error: type test for type 'Trait' must be from an expression assignable to it (got 'X')
BoundedPolymorphismResolution.dfy(88,11): Error: type test for type 'X' must be from an expression assignable to it (got 'Trait')
BoundedPolymorphismResolution.dfy(94,11): Error: type test for type 'Trait' must be from an expression assignable to it (got 'X')
BoundedPolymorphismResolution.dfy(95,11): Error: type test for type 'X' must be from an expression assignable to it (got 'Trait')
BoundedPolymorphismResolution.dfy(100,11): Error: type cast to trait type 'Trait' must be from an expression assignable to it (got 'X')
BoundedPolymorphismResolution.dfy(101,13): Error: arguments must have comparable types (got X and Trait)
BoundedPolymorphismResolution.dfy(102,22): Error: type test for type 'X' must be from an expression assignable to it (got 'Trait')
BoundedPolymorphismResolution.dfy(103,11): Error: type test for type 'X' must be from an expression assignable to it (got 'Trait')
BoundedPolymorphismResolution.dfy(113,11): Error: type cast to trait type 'Trait' must be from an expression assignable to it (got 'Y')
BoundedPolymorphismResolution.dfy(114,13): Error: arguments must have comparable types (got Y and Trait)
BoundedPolymorphismResolution.dfy(115,11): Error: arguments must have comparable types (got Y and Trait)
BoundedPolymorphismResolution.dfy(119,11): Error: type cast to trait type 'Trait' must be from an expression assignable to it (got 'Y')
BoundedPolymorphismResolution.dfy(120,11): Error: arguments must have comparable types (got Y and Trait)
BoundedPolymorphismResolution.dfy(124,13): Error: type cast to reference type 'object' must be from an expression assignable to it (got 'Y')
BoundedPolymorphismResolution.dfy(125,11): Error: arguments must have comparable types (got Y and object)
BoundedPolymorphismResolution.dfy(129,13): Error: type cast to reference type 'object' must be from an expression assignable to it (got 'Y')
BoundedPolymorphismResolution.dfy(130,11): Error: arguments must have comparable types (got Y and object)
BoundedPolymorphismResolution.dfy(139,16): Error: type conversions are not supported to this type (got X)
BoundedPolymorphismResolution.dfy(140,16): Error: type cast to trait type 'Trait' must be from an expression assignable to it (got 'X')
BoundedPolymorphismResolution.dfy(141,16): Error: type cast to reference type 'Class' must be from an expression assignable to it (got 'X')
BoundedPolymorphismResolution.dfy(142,16): Error: type conversion to an int-based type is allowed only from numeric and bitvector types, char, and ORDINAL (got X)
BoundedPolymorphismResolution.dfy(156,11): Error: type bound must be a trait or a subset type based on a trait (got int)
BoundedPolymorphismResolution.dfy(157,11): Error: type bound must be a trait or a subset type based on a trait (got array<Trait>)
BoundedPolymorphismResolution.dfy(158,11): Error: type bound must be a trait or a subset type based on a trait (got Color)
BoundedPolymorphismResolution.dfy(159,11): Error: type bound must be a trait or a subset type based on a trait (got Class?)
BoundedPolymorphismResolution.dfy(220,11): Error: type bound for type parameter 'A' of method 'M0' is different from the corresponding type bound of the corresponding type parameter of the corresponding method in the module it refines (expected 'Trait', found 'object')
BoundedPolymorphismResolution.dfy(199,25): Error: type parameters are not allowed to be renamed from the names given in the type in the module being refined (expected 'A', found 'B')
BoundedPolymorphismResolution.dfy(200,25): Error: type parameters are not allowed to be renamed from the names given in the type in the module being refined (expected 'A', found 'B')
BoundedPolymorphismResolution.dfy(202,23): Error: type parameters are not allowed to be renamed from the names given in the abstract type in the module being refined (expected 'A', found 'B')
BoundedPolymorphismResolution.dfy(203,23): Error: type parameters are not allowed to be renamed from the names given in the abstract type in the module being refined (expected 'A', found 'B')
BoundedPolymorphismResolution.dfy(204,23): Error: type parameters are not allowed to be renamed from the names given in the abstract type in the module being refined (expected 'A', found 'B')
BoundedPolymorphismResolution.dfy(206,9): Error: type parameter 'A' of abstract type 'AbstractType3' is declared with a different number of type bounds than in the corresponding abstract type in the module it refines (expected 2, found 1)
BoundedPolymorphismResolution.dfy(208,9): Error: type bound for type parameter 'A' of abstract type 'AbstractType5' is different from the corresponding type bound of the corresponding type parameter of the corresponding abstract type in the module it refines (expected 'object', found 'Trait')
BoundedPolymorphismResolution.dfy(209,9): Error: type bound for type parameter 'A' of abstract type 'AbstractType6' is different from the corresponding type bound of the corresponding type parameter of the corresponding abstract type in the module it refines (expected 'Trait', found 'object')
BoundedPolymorphismResolution.dfy(209,9): Error: type bound for type parameter 'A' of abstract type 'AbstractType6' is different from the corresponding type bound of the corresponding type parameter of the corresponding abstract type in the module it refines (expected 'object', found 'Trait')
BoundedPolymorphismResolution.dfy(214,13): Error: type bound for type parameter 'A' of datatype 'ToBeReplaced1' is different from the corresponding type bound of the corresponding type parameter of the corresponding datatype in the module it refines (expected 'Trait', found 'object')
BoundedPolymorphismResolution.dfy(216,9): Error: type parameter 'A' of type 'ToBeReplaced3' is declared with a different number of type bounds than in the corresponding type in the module it refines (expected 1, found 0)
BoundedPolymorphismResolution.dfy(218,10): Error: type bound for type parameter 'A' of class 'ToBeReplaced5' is different from the corresponding type bound of the corresponding type parameter of the corresponding class in the module it refines (expected 'Trait', found 'object')
BoundedPolymorphismResolution.dfy(218,10): Error: type parameter ('A') passed to type 'ToBeReplaced5' must meet type bound 'object' (got 'A')
BoundedPolymorphismResolution.dfy(251,12): Error: type parameter ('Y') passed to method 'MyMethod' must meet type bound 'Trait<string>' (got 'RandomClass<real>')
BoundedPolymorphismResolution.dfy(254,13): Error: type parameter ('Y') passed to function 'MyFunction' must meet type bound 'Trait<string>' (got 'RandomClass<char>')
BoundedPolymorphismResolution.dfy(257,18): Error: type parameter ('Y') passed to type 'MyClass' must meet type bound 'Trait<string>' (got 'RandomClass<int>')
BoundedPolymorphismResolution.dfy(257,18): Error: type parameter ('Y') passed to type 'MyClass' must meet type bound 'Trait<string>' (got 'RandomClass<int>')
BoundedPolymorphismResolution.dfy(268,13): Error: type parameter 'X' of function 'F' is declared with a different number of type bounds than in the function it overrides (expected 1, found 2)
BoundedPolymorphismResolution.dfy(269,11): Error: type bound for type parameter 'X' of method 'M' is different from the corresponding type bound of the corresponding type parameter of the method it overrides (expected 'object', found 'object?')
BoundedPolymorphismResolution.dfy(275,15): Error: type parameters in this function override are not allowed to be renamed from the names given in the the function it overrides (expected 'X', got 'Y')
BoundedPolymorphismResolution.dfy(294,11): Error: type bound for type parameter 'Y' of method 'M' is different from the corresponding type bound of the corresponding type parameter of the method it overrides (expected 'GenericBound<X>', found 'GenericBound<int>')
BoundedPolymorphismResolution.dfy(300,15): Error: type parameters in this function override are not allowed to be renamed from the names given in the the function it overrides (expected 'X', got 'Y')
BoundedPolymorphismResolution.dfy(300,42): Error: type parameters in this function override are not allowed to be renamed from the names given in the the function it overrides (expected 'Y', got 'X')
BoundedPolymorphismResolution.dfy(301,11): Error: type bound for type parameter 'X' of method 'M' is different from the corresponding type bound of the corresponding type parameter of the method it overrides (expected 'GenericBound<Y>', found 'GenericBound<int>')
BoundedPolymorphismResolution.dfy(302,19): Error: type bound for type parameter 'X' of method 'L' is different from the corresponding type bound of the corresponding type parameter of the method it overrides (expected 'GenericBound<int>', found 'GenericBound<X>')
BoundedPolymorphismResolution.dfy(306,19): Error: type bound for type parameter 'Y' of method 'L' is different from the corresponding type bound of the corresponding type parameter of the method it overrides (expected 'GenericBound<int>', found 'GenericBound<X>')
BoundedPolymorphismResolution.dfy(319,13): Error: RHS (of type X) not assignable to LHS (of type Parent)
BoundedPolymorphismResolution.dfy(320,20): Error: type test for type 'XTrait' must be from an expression assignable to it (got 'Parent')
BoundedPolymorphismResolution.dfy(321,13): Error: RHS (of type Y) not assignable to LHS (of type Parent)
BoundedPolymorphismResolution.dfy(322,20): Error: type test for type 'YTrait' must be from an expression assignable to it (got 'Parent')
83 resolution/type errors detected in BoundedPolymorphismResolution.dfy
