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(40,11): Error: type test for type 'AnotherTrait' must be from an expression assignable to it (got 'X')
BoundedPolymorphismResolution.dfy(56,11): Error: member 'n' does not exist in type parameter 'Y'
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(76,15): Error: type cast to trait type 'XTrait<bool>' must be from an expression of a compatible type (got 'T')
BoundedPolymorphismResolution.dfy(88,11): Error: an expression of type 'Trait' is not run-time checkable to be a 'X'
BoundedPolymorphismResolution.dfy(103,11): Error: an expression of type 'Trait' is not run-time checkable to be a 'X'
BoundedPolymorphismResolution.dfy(115,9): Error: == can only be applied to expressions of types that support equality (got Y) (perhaps try declaring type parameter 'Y' on line 112 as 'Y(==)', which says it can only be instantiated with a type that supports equality)
BoundedPolymorphismResolution.dfy(120,14): Error: == can only be applied to expressions of types that support equality (got Trait)
BoundedPolymorphismResolution.dfy(125,9): Error: == can only be applied to expressions of types that support equality (got Y) (perhaps try declaring type parameter 'Y' on line 123 as 'Y(==)', which says it can only be instantiated with a type that supports equality)
BoundedPolymorphismResolution.dfy(141,16): Error: type cast to reference type 'Class' must be from an expression of a compatible type (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: incorrect argument type for method in-parameter 'y0' (expected RandomClass?<string>, found RandomClass?<real>) (non-variant type parameter 'R' would require string = real)
BoundedPolymorphismResolution.dfy(254,23): Error: incorrect argument type for function parameter 'y1' (expected RandomClass?<string>, found RandomClass?<char>) (non-variant type parameter 'R' would require string = char)
BoundedPolymorphismResolution.dfy(257,14): Error: incorrect argument type for constructor in-parameter 'y2' (expected RandomClass?<string>, found RandomClass?<int>) (non-variant type parameter 'R' would require string = 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>')
55 resolution/type errors detected in BoundedPolymorphismResolution.dfy
