Thu, 27 Aug 2009 13:40:48 +0100
6840638: Project Coin: Improved Type Inference for Generic Instance Creation (aka 'diamond')
Summary: diamond operator implementation (simple approach)
Reviewed-by: jjg
1 Neg04.java:18:13: compiler.err.not.within.bounds: java.lang.String
2 Neg04.java:18:33: compiler.err.cant.apply.diamond: V, (compiler.misc.no.conforming.instance.exists: V, Foo<V>, Foo<java.lang.String>)
3 Neg04.java:19:23: compiler.err.not.within.bounds: ? extends java.lang.String
4 Neg04.java:19:43: compiler.err.cant.apply.diamond: V, (compiler.misc.no.unique.maximal.instance.exists: V, java.lang.String,java.lang.Number)
5 Neg04.java:20:21: compiler.err.cant.resolve.location.args: kindname.constructor, Foo, , java.lang.String, kindname.class, Foo<java.lang.Number>
6 Neg04.java:21:21: compiler.err.not.within.bounds: ? super java.lang.String
7 Neg04.java:21:41: compiler.err.cant.apply.diamond: V, (compiler.misc.no.conforming.instance.exists: V, Foo<V>, Foo<? super java.lang.String>)
8 Neg04.java:23:13: compiler.err.not.within.bounds: java.lang.String
9 Neg04.java:23:33: compiler.err.cant.apply.diamond: V, (compiler.misc.no.conforming.instance.exists: V, Foo<V>, Foo<java.lang.String>)
10 Neg04.java:24:23: compiler.err.not.within.bounds: ? extends java.lang.String
11 Neg04.java:24:43: compiler.err.cant.apply.diamond: V, (compiler.misc.no.unique.maximal.instance.exists: V, java.lang.String,java.lang.Number)
12 Neg04.java:25:21: compiler.err.cant.resolve.location.args: kindname.constructor, Foo, , java.lang.String, kindname.class, Foo<java.lang.Number>
13 Neg04.java:25:34: compiler.err.cant.resolve.location.args: kindname.constructor, Foo, , , kindname.class, Foo<java.lang.Number>
14 Neg04.java:26:21: compiler.err.not.within.bounds: ? super java.lang.String
15 Neg04.java:26:41: compiler.err.cant.apply.diamond: V, (compiler.misc.no.conforming.instance.exists: V, Foo<V>, Foo<? super java.lang.String>)
16 Neg04.java:28:13: compiler.err.not.within.bounds: java.lang.String
17 Neg04.java:28:33: compiler.err.cant.apply.diamond: V, (compiler.misc.no.conforming.instance.exists: V, Foo<V>, Foo<java.lang.String>)
18 Neg04.java:29:23: compiler.err.not.within.bounds: ? extends java.lang.String
19 Neg04.java:29:44: compiler.err.cant.apply.diamond: V, (compiler.misc.no.unique.maximal.instance.exists: V, java.lang.String,java.lang.Number)
20 Neg04.java:30:22: compiler.err.cant.resolve.location.args: kindname.constructor, Foo, , java.lang.String,java.lang.String, kindname.class, Foo<java.lang.Number>
21 Neg04.java:31:21: compiler.err.not.within.bounds: ? super java.lang.String
22 Neg04.java:31:42: compiler.err.cant.apply.diamond: V, (compiler.misc.no.conforming.instance.exists: V, Foo<V>, Foo<? super java.lang.String>)
23 Neg04.java:33:13: compiler.err.not.within.bounds: java.lang.String
24 Neg04.java:33:34: compiler.err.cant.apply.diamond: V, (compiler.misc.no.conforming.instance.exists: V, Foo<V>, Foo<java.lang.String>)
25 Neg04.java:34:23: compiler.err.not.within.bounds: ? extends java.lang.String
26 Neg04.java:34:44: compiler.err.cant.apply.diamond: V, (compiler.misc.no.unique.maximal.instance.exists: V, java.lang.String,java.lang.Number)
27 Neg04.java:35:22: compiler.err.cant.resolve.location.args: kindname.constructor, Foo, , java.lang.String,java.lang.String, kindname.class, Foo<java.lang.Number>
28 Neg04.java:35:39: compiler.err.cant.resolve.location.args: kindname.constructor, Foo, , , kindname.class, Foo<java.lang.Number>
29 Neg04.java:36:21: compiler.err.not.within.bounds: ? super java.lang.String
30 Neg04.java:36:42: compiler.err.cant.apply.diamond: V, (compiler.misc.no.conforming.instance.exists: V, Foo<V>, Foo<? super java.lang.String>)
31 30 errors