equal
deleted
inserted
replaced
345 //replace uninferred type-vars |
345 //replace uninferred type-vars |
346 targs = types.subst(targs, |
346 targs = types.subst(targs, |
347 that.tvars, |
347 that.tvars, |
348 instantiateAsUninferredVars(undetvars, that.tvars)); |
348 instantiateAsUninferredVars(undetvars, that.tvars)); |
349 } |
349 } |
350 return chk.checkType(warn.pos(), that.inst(targs, types), to); |
350 return that.inst(targs, types); |
351 } |
351 } |
352 //where |
352 //where |
353 private List<Type> instantiateAsUninferredVars(List<Type> undetvars, List<Type> tvars) { |
353 private List<Type> instantiateAsUninferredVars(List<Type> undetvars, List<Type> tvars) { |
354 Assert.check(undetvars.length() == tvars.length()); |
354 Assert.check(undetvars.length() == tvars.length()); |
355 ListBuffer<Type> new_targs = ListBuffer.lb(); |
355 ListBuffer<Type> new_targs = ListBuffer.lb(); |