equal
deleted
inserted
replaced
947 return false; |
947 return false; |
948 } |
948 } |
949 } |
949 } |
950 |
950 |
951 if (t.isCompound()) { |
951 if (t.isCompound()) { |
|
952 Warner oldWarner = warnStack.head; |
|
953 warnStack.head = Warner.noWarnings; |
952 if (!visit(supertype(t), s)) |
954 if (!visit(supertype(t), s)) |
953 return false; |
955 return false; |
954 for (Type intf : interfaces(t)) { |
956 for (Type intf : interfaces(t)) { |
955 if (!visit(intf, s)) |
957 if (!visit(intf, s)) |
956 return false; |
958 return false; |
957 } |
959 } |
|
960 if (warnStack.head.unchecked == true) |
|
961 oldWarner.warnUnchecked(); |
958 return true; |
962 return true; |
959 } |
963 } |
960 |
964 |
961 if (s.isCompound()) { |
965 if (s.isCompound()) { |
962 // call recursively to reuse the above code |
966 // call recursively to reuse the above code |