Home | History | Annotate | Download | only in typeinference

Lines Matching refs:newBounds

410             BoundSet newBounds = newConstraintsSet.reduce(typeSolver);
411             if (newBounds.isEmpty()) {
414             return this.incorporate(newBounds, typeSolver);
660                 BoundSet newBounds = BoundSet.empty();
696                     newBounds = newBounds.withBound(new SameAsBound(alphaI, Ti));
701                 BoundSet incorporatedBoundSet = this.incorporate(newBounds, typeSolver);