private static TypeList freshTypeVariables(final TypeList types) { final ListBuffer<Type<?>> result = lb(); for (final Type t : types) { if (t.isWildcardType()) { final Type bound = t.getExtendsBound(); result.append(new CapturedType(Type.Bottom, bound, Type.Bottom, t)); } else { result.append(t); } } return new TypeList(result.toList()); }
private static TypeList freshTypeVariables(final TypeList types) { final ListBuffer<Type<?>> result = lb(); for (final Type t : types) { if (t.isWildcardType()) { final Type bound = t.getExtendsBound(); result.append(new CapturedType(Type.Bottom, bound, Type.Bottom, t)); } else { result.append(t); } } return new TypeList(result.toList()); }
private static TypeList freshTypeVariables(final TypeList types) { final ListBuffer<Type<?>> result = lb(); for (final Type t : types) { if (t.isWildcardType()) { final Type bound = t.getExtendsBound(); result.append(new CapturedType(Type.Bottom, bound, Type.Bottom, t)); } else { result.append(t); } } return new TypeList(result.toList()); }
currentS.head = Si = new CapturedType( Si.getDeclaringType(), substitute(Ui, A, S), currentS.head = Si = new CapturedType( Si.getDeclaringType(), glb(Ti.getExtendsBound(), substitute(Ui, A, S)), currentS.head = Si = new CapturedType( Si.getDeclaringType(), substitute(Ui, A, S),
currentS.head = Si = new CapturedType( Si.getDeclaringType(), substitute(Ui, A, S), currentS.head = Si = new CapturedType( Si.getDeclaringType(), glb(Ti.getExtendsBound(), substitute(Ui, A, S)), currentS.head = Si = new CapturedType( Si.getDeclaringType(), substitute(Ui, A, S),
currentS.head = Si = new CapturedType( Si.getDeclaringType(), substitute(Ui, A, S), currentS.head = Si = new CapturedType( Si.getDeclaringType(), glb(Ti.getExtendsBound(), substitute(Ui, A, S)), currentS.head = Si = new CapturedType( Si.getDeclaringType(), substitute(Ui, A, S),