2948 from = from.tail, to = to.tail) { |
2948 from = from.tail, to = to.tail) { |
2949 if (t == from.head) { |
2949 if (t == from.head) { |
2950 return to.head.withTypeVar(t); |
2950 return to.head.withTypeVar(t); |
2951 } |
2951 } |
2952 } |
2952 } |
|
2953 return t; |
|
2954 } |
|
2955 |
|
2956 @Override |
|
2957 public Type visitUndetVar(UndetVar t, Void ignored) { |
|
2958 //do nothing - we should not replace inside undet variables |
2953 return t; |
2959 return t; |
2954 } |
2960 } |
2955 |
2961 |
2956 @Override |
2962 @Override |
2957 public Type visitClassType(ClassType t, Void ignored) { |
2963 public Type visitClassType(ClassType t, Void ignored) { |