Lines Matching refs:Warner
459 Type instantiatePoly(DiagnosticPosition pos, ForAll t, Type pt, Warner warn) throws Infer.NoInstanceException {
532 return types.isCastable(bound, types.upperBound(a), Warner.noWarnings);
1525 Warner overrideWarner = new Warner();
1671 (types.covariantReturnType(rt1, rt2, Warner.noWarnings) ||
1672 types.covariantReturnType(rt2, rt1, Warner.noWarnings)) ||
1716 (types.covariantReturnType(rt13, rt1, Warner.noWarnings) &&
1717 types.covariantReturnType(rt23, rt2, Warner.noWarnings));
2760 private class ConversionWarner extends Warner {
2794 public Warner castWarner(DiagnosticPosition pos, Type found, Type expected) {
2798 public Warner convertWarner(DiagnosticPosition pos, Type found, Type expected) {