ArrayType:🆕 ensure type reifiable

This commit is contained in:
Anna Kozlova
2015-01-31 16:13:14 +03:00
parent a6d8e976fa
commit 47ae95a968
3 changed files with 28 additions and 1 deletions
@@ -0,0 +1,23 @@
class Main<T> {
{
I<Main<String> > aNew = Main[]::new;
I<Main<?> > aNew1 = Main<?>[]::new;
I<Main<? extends String>> aNew2 = <error descr="Generic array creation">Main<? extends String>[]</error>::new;
I<int[]> p = int[][]::new;
I<Main<String>[]> a = Main[][]::new;
I<Main<?>[]> a1 = Main<?>[][]::new;
I<Main<? extends String>[]> a2 = <error descr="Generic array creation">Main<? extends String>[][]</error>::new;
I<Inner<String>> inn1 = Main.Inner[]::new;
I<Main<?>.Inner<?>> inn2 = Main<?>.Inner<?>[]::new;
I<Main<String>.Inner<String>> inn3 = <error descr="Generic array creation">Main<String>.Inner<String>[]</error>::new;
}
class Inner<P> {}
interface I<K> {
K[] v(int i);
}
}