|
// Checkerframework stubs for javax.lang
|
|
|
|
package javax.lang.model.util;
|
|
|
|
import org.checkerframework.checker.nullness.qual.Nullable;
|
|
|
|
public interface Types {
|
|
public WildcardType getWildcardType(
|
|
@Nullable TypeMirror extendsBound,
|
|
@Nullable TypeMirror superBound);
|
|
} |