equal
deleted
inserted
replaced
1600 no unique maximal instance exists for type variable {0} with upper bounds {1} |
1600 no unique maximal instance exists for type variable {0} with upper bounds {1} |
1601 |
1601 |
1602 compiler.misc.no.unique.minimal.instance.exists=\ |
1602 compiler.misc.no.unique.minimal.instance.exists=\ |
1603 no unique minimal instance exists for type variable {0} with lower bounds {1} |
1603 no unique minimal instance exists for type variable {0} with lower bounds {1} |
1604 |
1604 |
|
1605 # 0: type, 1: list of type |
|
1606 compiler.misc.incompatible.upper.bounds=\ |
|
1607 inference variable {0} has incompatible upper bounds {1} |
|
1608 |
1605 # 0: list of type, 1: type, 2: type |
1609 # 0: list of type, 1: type, 2: type |
1606 compiler.misc.infer.no.conforming.instance.exists=\ |
1610 compiler.misc.infer.no.conforming.instance.exists=\ |
1607 no instance(s) of type variable(s) {0} exist so that {1} conforms to {2} |
1611 no instance(s) of type variable(s) {0} exist so that {1} conforms to {2} |
1608 |
1612 |
1609 # 0: list of type, 1: type, 2: type |
1613 # 0: list of type, 1: type, 2: type |