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 }; |