return new ArrayType(getElementType().bindWithFallback(t));
debugStart("Bind", "to " + t); try { return new ArrayType(getElementType().bindWithFallback(t)); } finally { debugEnd(); }
  public Type bind(ClassType t) {    return new ArrayType(getElementType().bindWithFallback(t));  }