blob: 351e928d8fd0b1f1c140fce7b58cdc665ec32c99 [file] [log] [blame]
import org.checkerframework.checker.tainting.qual.Untainted;
// T extends @Untainted String in stub file. Tests bug where the presence of an inner class causes
// annotations on type variables to be forgotten.
public class TypeParamWithInner<T extends @Untainted String> {
public class Inner {
}
public void requiresUntainted(T param) {
@Untainated String s = param;
}
}