javac/comp/Infer.java

441              * upper bound, or lower bound for alpha in B2.
457             /* i) B2 contains a bound of one of the forms alpha = S or S <: alpha,
484          * and B2 contains a bound of one of the forms alpha = S or S <: alpha,
546             ct.bound = types.glb(inferenceContext.asInstTypes(types.getBounds(ct)));
547             if (ct.bound.isErroneous()) {
744      * Bound-check incorporation action. A newly added bound is checked against existing bounds,
745      * to verify its compatibility; each bound is checked using either subtyping or type equivalence.
787          * The list of bound kinds to be checked.
796          * Is source type 's' compatible with target type 't' given source and target bound kinds?
809          * Report a bound check error.
824             return String.format("%s[undet=%s,t=%s,bound=%s]", getClass().getSimpleName(), uv.qtype, t, from);
977      * <li>if T=beta, sets a symmetric bound on beta (i.e. beta :> alpha) (symmetric propagation) </li>
1030             return String.format("%s[undet=%s,t=%s,bound=%s]", getClass().getSimpleName(), uv.qtype, t, ib);
1046         public void varBoundChanged(UndetVar uv, InferenceBound ib, Type bound, boolean update) {
1048             uv.incorporationActions.addAll(getIncorporationActions(uv, ib, bound, update));
1131     /* If for two types t and s there is a least upper bound that contains
1182      * (i) subtype check, (ii) same type check and (iii) bound addition (either
1183      * upper/lower/eq bound).
1267      * Incorporation error: mismatch between inferred type and given bound.
1569          * Return the subset of ground bounds in a given bound set (i.e. eq/lower/upper)
1613      * kind of dependency (or bound dependency) arises when a variable mention
1621         /** bound dependency */
1635      * a given inference context by bound dependencies - in the general case, such dependencies
1821                         for (Type bound : uv.getBounds(InferenceBound.values())) {
1822                             if (bound.containsAny(List.from(sink.data))) {
1824                                 buf.append(bound);
1895                                 //update i's bound dependencies