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 import org.jspecify.annotations.NullnessUnspecified; 19 20 @NullMarked 21 class SameTypeTypeVariable<T extends @Nullable Object> { x0(Lib<T> x)22 Lib<T> x0(Lib<T> x) { 23 return x; 24 } 25 x1(Lib<@NullnessUnspecified T> x)26 Lib<T> x1(Lib<@NullnessUnspecified T> x) { 27 // jspecify_nullness_not_enough_information 28 return x; 29 } 30 x2(Lib<@Nullable T> x)31 Lib<T> x2(Lib<@Nullable T> x) { 32 // jspecify_nullness_mismatch 33 return x; 34 } 35 x3(Lib<T> x)36 Lib<@NullnessUnspecified T> x3(Lib<T> x) { 37 // jspecify_nullness_not_enough_information 38 return x; 39 } 40 x4(Lib<@NullnessUnspecified T> x)41 Lib<@NullnessUnspecified T> x4(Lib<@NullnessUnspecified T> x) { 42 // jspecify_nullness_not_enough_information 43 return x; 44 } 45 x5(Lib<@Nullable T> x)46 Lib<@NullnessUnspecified T> x5(Lib<@Nullable T> x) { 47 // jspecify_nullness_not_enough_information 48 return x; 49 } 50 x6(Lib<T> x)51 Lib<@Nullable T> x6(Lib<T> x) { 52 // jspecify_nullness_mismatch 53 return x; 54 } 55 x7(Lib<@NullnessUnspecified T> x)56 Lib<@Nullable T> x7(Lib<@NullnessUnspecified T> x) { 57 // jspecify_nullness_not_enough_information 58 return x; 59 } 60 x8(Lib<@Nullable T> x)61 Lib<@Nullable T> x8(Lib<@Nullable T> x) { 62 return x; 63 } 64 65 interface Lib<T extends @Nullable Object> {} 66 } 67