changelog
- Wed, 17 Jul 2013 14:21:12 +0100
- by mcimadamore [Wed, 17 Jul 2013 14:21:12 +0100] rev 1905
- 8019942: Graph inference: avoid redundant computation during bound incorporation
Summary: Bound incorporation should not perform same operation multiple times
Reviewed-by: jjg
- Wed, 17 Jul 2013 14:19:25 +0100
- by mcimadamore [Wed, 17 Jul 2013 14:19:25 +0100] rev 1904
- 8019340: varargs-related warnings are meaningless on signature-polymorphic methods such as MethodHandle.invokeExact
Summary: Disable certain varargs warnings when compiling polymorphic signature calls
Reviewed-by: jjg
- Wed, 17 Jul 2013 14:19:02 +0100
- by mcimadamore [Wed, 17 Jul 2013 14:19:02 +0100] rev 1903
- 8020149: Graph inference: wrong logic for picking best variable to solve
Summary: Replace logic for selecting best inference leaf in the graph during an unsticking round
Reviewed-by: jjg
- Wed, 17 Jul 2013 14:16:25 +0100
- by mcimadamore [Wed, 17 Jul 2013 14:16:25 +0100] rev 1902
- 8016640: compiler hangs if the generics arity of a base class is wrong
Summary: Check.checkCompatibleConcretes hang when javac creates synthetic supertypes for 269 model API
Reviewed-by: jjg
- Wed, 17 Jul 2013 14:14:49 +0100
- by mcimadamore [Wed, 17 Jul 2013 14:14:49 +0100] rev 1901
- 7041019: Bogus type-variable substitution with array types with dependencies on accessibility check
Summary: call to upperBound() when performing type-variable substitution on element type leads to unsoundness
Reviewed-by: jjg
- Wed, 17 Jul 2013 14:14:32 +0100
- by mcimadamore [Wed, 17 Jul 2013 14:14:32 +0100] rev 1900
- 8020286: Wrong diagnostic after compaction
Summary: compact diagnostic shows the least relevant method in the list
Reviewed-by: jjg
- Wed, 17 Jul 2013 14:13:15 +0100
- by mcimadamore [Wed, 17 Jul 2013 14:13:15 +0100] rev 1899
- 8020147: Spurious errors when compiling nested stuck lambdas
Summary: Scope of deferred types is not copied correctly; postAttr analyzer should not run on stuck expressions
Reviewed-by: jjg
- Wed, 17 Jul 2013 14:11:41 +0100
- by mcimadamore [Wed, 17 Jul 2013 14:11:41 +0100] rev 1898
- 8012238: Nested method capture and inference
8008200: java/lang/Class/asSubclass/BasicUnit.java fails to compile
Summary: Inference support should be more flexible w.r.t. nested method calls returning captured types
Reviewed-by: jjg, vromero
- Wed, 17 Jul 2013 14:09:46 +0100
- by mcimadamore [Wed, 17 Jul 2013 14:09:46 +0100] rev 1897
- 8016175: Add bottom-up type-checking support for unambiguous method references
Summary: Type-checking of non-overloaded method references should be independent from target-type
Reviewed-by: jjg, vromero
- Wed, 17 Jul 2013 14:04:01 +0100
- by mcimadamore [Wed, 17 Jul 2013 14:04:01 +0100] rev 1896
- 8012242: Lambda compatibility and checked exceptions
Summary: Inference variables in 'throws' clause with no constraints should be inferred as RuntimeException
Reviewed-by: jjg, vromero
