2 Commits

Author	SHA1	Message	Date
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	15959fbf11	6838943: inference: javac is not handling type-variable substitution properly ... Free type-variables are being replaced with type-variables bound to forall type leading to unsoundness Reviewed-by: jjg, dlsmith	2011-01-28 12:06:21 +00:00