Lines Matching refs:to
8 * particular file as subject to the "Classpath" exception as provided
18 * 2 along with this work; if not, write to the Free Software Foundation,
45 * This code and its internal interfaces are subject to change or
204 /** Instantiate undetermined type variable to its minimal upper bound.
259 /** Instantiate undetermined type variable to the lub of all its lower bounds.
298 /** Try to instantiate expression type `that' to given type `to'.
300 * a subtype of type `to', return the instantiated type.
305 Type to,
324 qtype1.tag == UNDETVAR ? types.boxedTypeOrType(to) : to)) {
327 that.tvars, that.qtype, to);
341 return chk.checkType(warn.pos(), that.inst(targs, types), to);
367 * `tvars' so that method can be applied to `argtypes'.
380 //need to capture exactly once - otherwise subsequent
440 /** Type variables instantiated to bottom */
443 /** Undet vars instantiated to bottom */
492 // check that actuals conform to inferred formals
494 // check that inferred bounds conform to their bounds
503 // check that actuals conform to inferred formals
579 /** Try to instantiate argument type `that' to given type `to'.
580 * If this fails, try to insantiate `that' to `to' where
585 Type to,
590 return instantiateExpr(that, to, warn);
592 Type to1 = to;
613 .setMessage("inferred.do.not.conform.to.bounds",
619 * Compute a synthetic method type corresponding to the requested polymorphic
634 //env.next refers to the lexically enclosing environment in which