1078                         return false;

  1078                         return false;

  1079                     }

  1079                     }

  1080                 case CLASS:

  1080                 case CLASS:

  1081                     return isSubtype(t, s);

  1081                     return isSubtype(t, s);

  1082                 case ARRAY:

  1082                 case ARRAY:

  1084                         return elemtype(t).tag == elemtype(s).tag;

  1085                         return elemtype(t).tag == elemtype(s).tag;

  1085                     } else {

  1086                     } else {

  1086                         return visit(elemtype(t), elemtype(s));

  1087                         return visit(elemtype(t), elemtype(s));

  1087                     }

  1088                     }

  1088                 default:

  1089                 default: