It is static warning to create instance (new) of the malformed type #11595
Labels
area-test
Cross-cutting test issues (use area- labels for specific failures; not used for package:test).
closed-obsolete
Closed as the reported issue is no longer relevant
type-bug
Incorrect behavior (everything from a crash to more subtle misbehavior)
Comments
|
cc @peter-ahe-google. |
|
The test is renamed to language/instantiate_type_variable_test and is now a multi-test. The test tests that it is not possible to instantiate a type parameter type. The spec (0.51) says the following in the "Generics" section: Even where type parameters are in scope there are numerous restrictions at this time: Both the VM and dart2js generate a compile-time error in this case. |
|
Removed this from the 1.6 milestone. |
|
Removed Oldschool-Milestone-1.6 label. |
scheglov
added
Type-Defect
area-test
kevmoo
added
type-bug
matanlurey
added
the
closed-obsolete
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
language/instantiate_type_variable_negative_test
12.11 Instance Creation
Instance creation expressions invoke constructors to produce instances.
It is a static type warning if the type T in an instance creation expression
of one of the forms
new T:id(a1; : : : ; an; xn+1 : an+1; : : : ; xn+k : an+k),
new T(a1; : : : ; an; xn+1 : an+1; : : : ; xn+k : an+k),
const T:id(a1; : : : ; an; xn+1 : an+1; : : : ; xn+k : an+k),
const T(a1; : : : ; an; xn+1 : an+1; : : : ; xn+k : an+k) is malformed (15.2) or
malbounded (15.8).
The text was updated successfully, but these errors were encountered: