21 Commits

Author SHA1 Message Date
Maurizio Cimadamore
fe12031643 6718364: inference fails when a generic method is invoked with raw arguments
Bug in the implementation of Types.isSubtypeUnchecked

Reviewed-by: jjg
2008-08-08 17:38:20 +01:00
Maurizio Cimadamore
3bc508df8a 6717241: some diagnostic argument is prematurely converted into a String object
Removed early toString() conversions applied to diagnostic arguments

Reviewed-by: jjg
2008-07-24 19:06:57 +01:00
Maurizio Cimadamore
fec04e0a18 6651719: Compiler crashes possibly during forward reference of TypeParameter
Compiler should apply capture conversion when checking for bound conformance

Reviewed-by: jjg
2008-07-24 10:35:38 +01:00
Tim Bell
bfe81fd61c Merge 2008-07-04 15:06:27 -07:00
Xiomara Jayasena
4d965a7153 6719955: Update copyright year
Update copyright year for files that have been modified in 2008

Reviewed-by: ohair, tbell
2008-07-02 12:56:02 -07:00
Maurizio Cimadamore
f33c28c7fb 6294779: Problem with interface inheritance and covariant return types
Problematic overriding check when two methods defined in two distinct superinterfaces are overriden by an interface

Reviewed-by: jjg
2008-06-20 11:25:03 +01:00
Maurizio Cimadamore
e3ba3ecd1d 6677785: REGRESSION: StackOverFlowError with Cyclic Class level Type Parameters when used in constructors
This regression has been caused by previous fix of 6660289

Reviewed-by: jjg
2008-05-30 11:08:40 +01:00
Maurizio Cimadamore
afb636d599 6507024: casting an array to a generic type results in a 'capture#69 of ?' type error
Types.isSubtypeUnchecked() should handle type-variables subtyping properly

Reviewed-by: jjg
2008-05-30 10:42:43 +01:00
Maurizio Cimadamore
38763bd637 6559182: Cast from a raw type with non-generic supertype to a raw type fails unexpectedly
Javac doesn't conform to JLS 4.8 - all the supertypes of a raw type must be erased

Reviewed-by: jjg
2008-04-09 15:30:44 +01:00
Maurizio Cimadamore
e63129f7b5 6683438: Bad regression test for CR 6611449
The regression test for CR 6611449 contains some inconstistencies

Reviewed-by: jjg
2008-04-09 15:04:35 +01:00
Maurizio Cimadamore
d09cfea3c2 6657499: javac 1.6.0 fails to compile class with inner class
Lookup of member inner classes silently fails leading to an unwanted erasure to take place

Reviewed-by: jjg
2008-04-09 14:57:37 +01:00
Maurizio Cimadamore
bafc1f6d00 6450290: Capture of nested wildcards causes type error
A missing capture conversion makes javac to think that some expressions are well-formed even when they aren't

Reviewed-by: jjg
2008-04-09 14:45:50 +01:00
Maurizio Cimadamore
70bdf8ae8d 6481655: Parser confused by combination of parens and explicit type args
Bug in the parser caused by the fact that explicit type arguments are disabled when parsing parenthesized expressions

Reviewed-by: jjg
2008-04-09 14:05:24 +01:00
Maurizio Cimadamore
11b40a75ac 6365166: javac (generic) unable to resolve methods
Unignore regression test as this bug has been fixed by CR 6278587

Reviewed-by: jjg
2008-04-09 13:53:45 +01:00
Maurizio Cimadamore
3c80eb1a9e 5009937: hiding versus generics versus binary compatibility
Missing implementation of JLS 8.4.8.3 (different arguments with same erasure not always triggering a compiler error)

Reviewed-by: jjg
2008-04-09 13:41:45 +01:00
Maurizio Cimadamore
2daecbb697 6531075: Missing synthetic casts when accessing fields/methods of intersection types including type variables
Bug when javac generates code involving intersection types

Reviewed-by: jjg
2008-04-09 13:19:01 +01:00
Maurizio Cimadamore
1be460dbdd 6531090: Cannot access methods/fields of a captured type belonging to an intersection type
Fixed lookup of field/methods on intersection types

Reviewed-by: jjg
2008-04-02 11:44:23 +01:00
Maurizio Cimadamore
70bcd151a0 6569789: Compiler test lang/TYPE/type153/type15304/type15304.html fails since jdk7 b05
Improved glb on type-inference

Reviewed-by: jjg
2008-04-02 11:20:52 +01:00
Maurizio Cimadamore
00c5620740 6660289: declared bound in inner class referring a type variable of the outer class
NPE caused by a defect in type-variable attribution

Reviewed-by: jjg
2008-03-04 13:00:08 +00:00
Maurizio Cimadamore
9e5259f792 6611449: Internal Error thrown during generic method/constructor invocation
Type-inference should fail since lub is not defined for primitive types

Reviewed-by: jjg
2008-03-04 12:14:13 +00:00
J. Duke
f57b87e8f6 Initial load 2007-12-01 00:00:00 +00:00