• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 /*
2  * Copyright 2020 The JSpecify Authors.
3  *
4  * Licensed under the Apache License, Version 2.0 (the "License");
5  * you may not use this file except in compliance with the License.
6  * You may obtain a copy of the License at
7  *
8  *     http://www.apache.org/licenses/LICENSE-2.0
9  *
10  * Unless required by applicable law or agreed to in writing, software
11  * distributed under the License is distributed on an "AS IS" BASIS,
12  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13  * See the License for the specific language governing permissions and
14  * limitations under the License.
15  */
16 import org.jspecify.annotations.NullMarked;
17 import org.jspecify.annotations.Nullable;
18 
19 // Covered by
20 // conformance-tests/src/assertions/java/org/jspecify/conformance/tests/irrelevantannotations/nullmarked/AnnotatedTypeParameters.java
21 @NullMarked
22 class AnnotatedTypeParameter {
23   // jspecify_unrecognized_location
24   interface Lib1<@Nullable T> {}
25 
26   // jspecify_unrecognized_location
27   interface Lib2<@Nullable T extends Object> {}
28 
29   // jspecify_unrecognized_location
30   interface Lib3<@Nullable T extends @Nullable Object> {}
31 }
32