Lines Matching defs:subst
238 Type res = subst(sym.type, from.toList(), to.toList());
257 res = subst(res, opens, qs.toList());
467 return subst(t.tsym.type, from.toList(), rewrite.toList());
719 && visit(t.qtype, subst(forAll.qtype, forAll.tvars, t.tvars));
1548 return subst(sym.type, ownerParams, baseParams);
1775 t.supertype_field = subst(supertype, formals, actuals);
1857 upperBounds(subst(interfaces, formals, actuals));
2210 && visit(t.qtype, subst(forAll.qtype, forAll.tvars, t.tvars));
2224 // <editor-fold defaultstate="collapsed" desc="subst">
2225 public List<Type> subst(List<Type> ts,
2228 return new Subst(from, to).subst(ts);
2237 public Type subst(Type t, List<Type> from, List<Type> to) {
2238 return new Subst(from, to).subst(t);
2260 Type subst(Type t) {
2267 List<Type> subst(List<Type> ts) {
2272 Type head1 = subst(ts.head);
2273 List<Type> tail1 = subst(ts.tail);
2286 List<Type> argtypes = subst(t.argtypes);
2287 Type restype = subst(t.restype);
2288 List<Type> thrown = subst(t.thrown);
2313 List<Type> typarams1 = subst(typarams);
2315 Type outer1 = subst(outer);
2321 Type st = subst(supertype(t));
2322 List<Type> is = upperBounds(subst(interfaces(t)));
2334 bound = subst(bound);
2346 Type elemtype = subst(t.elemtype);
2360 Types.this.subst(t.qtype, t.tvars, freevars));
2363 Type qtype1 = subst(t.qtype);
2369 return new ForAll(tvars1, Types.this.subst(qtype1, t.tvars, tvars1));
2389 Type bound = subst(tv.bound, from, to);
2407 newBounds.head = subst(newBounds.head, from, to);
2420 Type bound1 = subst(t.bound, from, to);
2428 tv.bound = subst(bound1, List.<Type>of(t), List.<Type>of(tv));
2443 subst(l2.head.getUpperBound(),
2461 tv.bound = subst(tv.bound, tvars, tvars1);
3084 Type sres = subst(s.getReturnType(), svars, tvars);
3220 t = subst(type1, t.tsym.type.getTypeArguments(), t.getTypeArguments());
3248 Si.bound = subst(Ui, A, S);
3252 Si.bound = glb(Ti.getExtendsBound(), subst(Ui, A, S));
3256 Si.bound = subst(Ui, A, S);
3576 return subst(t.tsym.type,