Lines Matching refs:ty
28 public static Type erase(Type ty, Function<TyVarSymbol, SourceTypeBoundClass.TyVarInfo> tenv) {
29 switch (ty.tyKind()) {
32 return ty;
34 return eraseClassTy((Type.ClassTy) ty);
36 return eraseArrayTy((Type.ArrayTy) ty, tenv);
38 return eraseTyVar((TyVar) ty, tenv);
40 throw new AssertionError(ty.tyKind());
45 TyVar ty, Function<TyVarSymbol, SourceTypeBoundClass.TyVarInfo> tenv) {
46 SourceTypeBoundClass.TyVarInfo info = tenv.apply(ty.sym());
57 Type.ArrayTy ty, Function<TyVarSymbol, SourceTypeBoundClass.TyVarInfo> tenv) {
58 return new Type.ArrayTy(erase(ty.elementType(), tenv), ty.annos());
61 public static Type.ClassTy eraseClassTy(Type.ClassTy ty) {
63 for (Type.ClassTy.SimpleClassTy c : ty.classes) {