Groovy

Variance

• Use-site variance

Type Inference

Variables

It is worth noting that although the compiler performs type inference on local variables, it does not perform any kind of type inference on fields, always falling back to the declared type of a field.

• Local Variables: Y
• Fields: X