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;
    }
}
