mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-08 23:39:39 +07:00
redundant cast: open capture to compare old and new result types
This commit is contained in:
@@ -0,0 +1,11 @@
|
||||
|
||||
interface Pair<A extends String> {
|
||||
A get();
|
||||
}
|
||||
|
||||
class B {
|
||||
void m(final Pair<?> p) {
|
||||
String v = ((<warning descr="Casting 'p' to 'Pair<?>' is redundant">Pair<?></warning>) p).get();
|
||||
}
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user