2847 TypeVar tv = (TypeVar) l.head; |
2847 TypeVar tv = (TypeVar) l.head; |
2848 tv.bound = subst(tv.bound, tvars, tvars1); |
2848 tv.bound = subst(tv.bound, tvars, tvars1); |
2849 } |
2849 } |
2850 return tvars1; |
2850 return tvars1; |
2851 } |
2851 } |
2852 static private Mapping newInstanceFun = new Mapping("newInstanceFun") { |
2852 private static final Mapping newInstanceFun = new Mapping("newInstanceFun") { |
2853 public Type apply(Type t) { return new TypeVar(t.tsym, t.getUpperBound(), t.getLowerBound()); } |
2853 public Type apply(Type t) { return new TypeVar(t.tsym, t.getUpperBound(), t.getLowerBound()); } |
2854 }; |
2854 }; |
2855 // </editor-fold> |
2855 // </editor-fold> |
2856 |
2856 |
2857 public Type createMethodTypeWithParameters(Type original, List<Type> newParams) { |
2857 public Type createMethodTypeWithParameters(Type original, List<Type> newParams) { |