public static UClassType create(CharSequence fullyQualifiedClass, List<UType> typeArguments) {
    return new AutoValue_UClassType(
        StringName.of(fullyQualifiedClass), ImmutableList.copyOf(typeArguments));
  }
@Test
  public void unifies() {
    assertThat(
            UClassType.create("java.lang.String")
                .unify(Symtab.instance(context).stringType, unifier))
        .isNotNull();
  }