src/share/classes/com/sun/tools/javac/comp/Infer.java

changeset 2157
963c57175e40
parent 2047
5f915a0c9615
child 2302
f35effa10297
equal deleted inserted replaced
2156:f003f09144ff 2157:963c57175e40
1766 Mapping fromTypeVarFun = new Mapping("fromTypeVarFunWithBounds") { 1766 Mapping fromTypeVarFun = new Mapping("fromTypeVarFunWithBounds") {
1767 // mapping that turns inference variables into undet vars 1767 // mapping that turns inference variables into undet vars
1768 public Type apply(Type t) { 1768 public Type apply(Type t) {
1769 if (t.hasTag(TYPEVAR)) { 1769 if (t.hasTag(TYPEVAR)) {
1770 TypeVar tv = (TypeVar)t; 1770 TypeVar tv = (TypeVar)t;
1771 return tv.isCaptured() ? 1771 if (tv.isCaptured()) {
1772 new CapturedUndetVar((CapturedType)tv, types) : 1772 return new CapturedUndetVar((CapturedType)tv, types);
1773 new UndetVar(tv, types); 1773 } else {
1774 return new UndetVar(tv, types);
1775 }
1774 } else { 1776 } else {
1775 return t.map(this); 1777 return t.map(this);
1776 } 1778 }
1777 } 1779 }
1778 }; 1780 };

mercurial