56   public Sig.TySig signature(Type ty) {  in signature()  argument
57     switch (ty.tyKind()) {  in signature()
59         return classTySig((Type.ClassTy) ty);  in signature()
61         return tyVarSig((TyVar) ty);  in signature()
63         return arrayTySig((ArrayTy) ty);  in signature()
65         return refBaseTy((PrimTy) ty);  in signature()
69         return wildTy((WildTy) ty);  in signature()
71         throw new AssertionError(ty.tyKind());  in signature()
123   private TySig wildTy(WildTy ty) {  in wildTy()  argument
124     switch (ty.boundKind()) {  in wildTy()
128         return new UpperBoundTySig(signature(((Type.WildUpperBoundedTy) ty).bound()));  in wildTy()
130         return new LowerBoundTySig(signature(((Type.WildLowerBoundedTy) ty).bound()));  in wildTy()
132         throw new AssertionError(ty.boundKind());  in wildTy()
249   private boolean needsSig(Type ty) {  in needsSig()  argument
250     switch (ty.tyKind()) {  in needsSig()
256           for (SimpleClassTy s : ((ClassTy) ty).classes()) {  in needsSig()
264         return needsSig(((ArrayTy) ty).elementType());  in needsSig()
268         throw new AssertionError(ty.tyKind());  in needsSig()