checker/tests/tainting/NestedTypeConstructor.java

import org.checkerframework.checker.tainting.qual.Tainted;

// Test case for Issue 275
// https://github.com/typetools/checker-framework/issues/275
// Not tainting-specific, but a convenient location.
public class NestedTypeConstructor {
  class Inner {
    @Tainted Inner() {}
  }
}