1581 # 0: type, 1: message segment |
1581 # 0: type, 1: message segment |
1582 compiler.misc.undetermined.type=\ |
1582 compiler.misc.undetermined.type=\ |
1583 cannot infer type arguments for {0}\n\ |
1583 cannot infer type arguments for {0}\n\ |
1584 reason: {1} |
1584 reason: {1} |
1585 |
1585 |
1586 compiler.misc.type.variable.has.undetermined.type=\ |
|
1587 type variable {0} has undetermined type |
|
1588 |
|
1589 # 0: type, 1: list of type |
1586 # 0: type, 1: list of type |
1590 compiler.misc.no.unique.maximal.instance.exists=\ |
1587 compiler.misc.no.unique.maximal.instance.exists=\ |
1591 no unique maximal instance exists for type variable {0} with upper bounds {1} |
1588 no unique maximal instance exists for type variable {0} with upper bounds {1} |
1592 |
1589 |
1593 compiler.misc.no.unique.minimal.instance.exists=\ |
1590 compiler.misc.no.unique.minimal.instance.exists=\ |
1611 # 0: list of type, 1: type, 2: type |
1608 # 0: list of type, 1: type, 2: type |
1612 compiler.misc.infer.varargs.argument.mismatch=\ |
1609 compiler.misc.infer.varargs.argument.mismatch=\ |
1613 no instance(s) of type variable(s) {0} exist so that argument type {1} conforms to vararg element type {2} |
1610 no instance(s) of type variable(s) {0} exist so that argument type {1} conforms to vararg element type {2} |
1614 |
1611 |
1615 # 0: type, 1: list of type |
1612 # 0: type, 1: list of type |
1616 compiler.misc.inferred.do.not.conform.to.bounds=\ |
1613 compiler.misc.inferred.do.not.conform.to.upper.bounds=\ |
1617 inferred type does not conform to declared bound(s)\n\ |
1614 inferred type does not conform to upper bound(s)\n\ |
1618 inferred: {0}\n\ |
1615 inferred: {0}\n\ |
1619 bound(s): {1} |
1616 upper bound(s): {1} |
|
1617 |
|
1618 # 0: type, 1: list of type |
|
1619 compiler.misc.inferred.do.not.conform.to.lower.bounds=\ |
|
1620 inferred type does not conform to lower bound(s)\n\ |
|
1621 inferred: {0}\n\ |
|
1622 lower bound(s): {1} |
|
1623 |
|
1624 # 0: type, 1: list of type |
|
1625 compiler.misc.inferred.do.not.conform.to.eq.bounds=\ |
|
1626 inferred type does not conform to equality constraint(s)\n\ |
|
1627 inferred: {0}\n\ |
|
1628 equality constraints(s): {1} |
1620 |
1629 |
1621 # 0: symbol |
1630 # 0: symbol |
1622 compiler.misc.diamond=\ |
1631 compiler.misc.diamond=\ |
1623 {0}<> |
1632 {0}<> |
1624 |
1633 |
2040 compiler.misc.where.typevar=\ |
2049 compiler.misc.where.typevar=\ |
2041 {0} extends {1} declared in {2} {3} |
2050 {0} extends {1} declared in {2} {3} |
2042 |
2051 |
2043 # compact where clause for type variable: contains the kindname ({2}) and location ({3}) |
2052 # compact where clause for type variable: contains the kindname ({2}) and location ({3}) |
2044 # in which the typevar has been declared |
2053 # in which the typevar has been declared |
|
2054 # 0: type, 1: list of type, 2: symbol kind, 3: symbol |
2045 compiler.misc.where.typevar.1=\ |
2055 compiler.misc.where.typevar.1=\ |
2046 {0} declared in {2} {3} |
2056 {0} declared in {2} {3} |
|
2057 |
|
2058 # where clause for fresh type variable: contains upper bound(s) ('extends {1}'). |
|
2059 # Since a fresh type-variable is synthetic - there's no location/kindname here. |
|
2060 # 0: type, 1: list of type |
|
2061 compiler.misc.where.fresh.typevar=\ |
|
2062 {0} extends {1} |
2047 |
2063 |
2048 # where clause for type variable: contains all the upper bound(s) ('extends {1}') |
2064 # where clause for type variable: contains all the upper bound(s) ('extends {1}') |
2049 # of this intersection type |
2065 # of this intersection type |
2050 # 0: type, 1: list of type |
2066 # 0: type, 1: list of type |
2051 compiler.misc.where.intersection=\ |
2067 compiler.misc.where.intersection=\ |