Maurizio Cimadamore
|
319150fde0
|
7177386: Add attribution support for method references
Add type-checking/lookup routines for method references
Reviewed-by: jjg, dlsmith
|
2012-10-06 10:35:38 +01:00 |
|
Maurizio Cimadamore
|
d4c5fca16a
|
7175433: Inference cleanup: add helper class to handle inference variables
Add class to handle inference variables instantiation and associated info
Reviewed-by: jjg, dlsmith
|
2012-09-25 11:55:34 +01:00 |
|
Maurizio Cimadamore
|
b03ad3ae09
|
7175911: Simplify error reporting API in Check.CheckContext interface
Make error messages generated during Check.checkType more uniform and more scalable
Reviewed-by: jjg, dlsmith
|
2012-08-02 18:22:41 +01:00 |
|
Maurizio Cimadamore
|
7e32f8e585
|
7166552: Inference: cleanup usage of Type.ForAll
Remove hack to callback into type-inference from assignment context
Reviewed-by: dlsmith, jjg
|
2012-05-31 17:42:14 +01:00 |
|
Maurizio Cimadamore
|
9b1e54dae3
|
7151492: Encapsulate check logic into Attr.ResultInfo
ResultInfo class should be used to make attribution code transparent w.r.t. check logic being used
Reviewed-by: jjg, dlsmith
|
2012-03-26 15:28:22 +01:00 |
|
Maurizio Cimadamore
|
1e776bc78a
|
6313164: javac generates code that fails byte code verification for the varargs feature
Method applicability check should fail if formal varargs element type is not accessible
Reviewed-by: jjg
|
2011-01-28 12:03:49 +00:00 |
|