blob: 6385fe5d125e99d9c955501c13b2bf13bd1f7941 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
class NodeProperty<A, B> {}
class NodeType {}
class NumberExpression extends NodeType {}
class Node<NodeTypeT extends NodeType> {
public <ValueT> ValueT get(NodeProperty<? super NodeTypeT, ValueT> prop) {
return null;
}
}
class Main {
public static void main(NodeProperty<NumberExpression, Integer> nval, Node<? extends NodeType> expr) {
int val = expr.get<error descr="'get(NodeProperty<? super capture<? extends NodeType>,java.lang.Integer>)' in 'Node' cannot be applied to '(NodeProperty<NumberExpression,java.lang.Integer>)'">(nval)</error>;
}
}
|