1.1 --- a/src/share/classes/com/sun/tools/javac/code/Types.java Tue Oct 09 19:10:00 2012 -0700
1.2 +++ b/src/share/classes/com/sun/tools/javac/code/Types.java Tue Oct 09 19:31:58 2012 -0700
1.3 @@ -1427,8 +1427,8 @@
1.4 * conservative in that it is allowed to say that two types are
1.5 * not disjoint, even though they actually are.
1.6 *
1.7 - * The type C<X> is castable to C<Y> exactly if X and Y are not
1.8 - * disjoint.
1.9 + * The type {@code C<X>} is castable to {@code C<Y>} exactly if
1.10 + * {@code X} and {@code Y} are not disjoint.
1.11 */
1.12 public boolean disjointType(Type t, Type s) {
1.13 return disjointType.visit(t, s);
1.14 @@ -1523,7 +1523,7 @@
1.15 * something of type `t' can be a subtype of `s'? This is
1.16 * different from the question "is `t' not a subtype of `s'?"
1.17 * when type variables are involved: Integer is not a subtype of T
1.18 - * where <T extends Number> but it is not true that Integer cannot
1.19 + * where {@code <T extends Number>} but it is not true that Integer cannot
1.20 * possibly be a subtype of T.
1.21 */
1.22 public boolean notSoftSubtype(Type t, Type s) {
