@@ -0,0 +1,1975 @@
+/*%0A * Copyright 2020 The jspecify Authors.%0A *%0A * Licensed under the Apache License, Version 2.0 (the %22License%22);%0A * you may not use this file except in compliance with the License.%0A * You may obtain a copy of the License at%0A *%0A *     http://www.apache.org/licenses/LICENSE-2.0%0A *%0A * Unless required by applicable law or agreed to in writing, software%0A * distributed under the License is distributed on an %22AS IS%22 BASIS,%0A * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.%0A * See the License for the specific language governing permissions and%0A * limitations under the License.%0A */%0A%0Aimport org.jspecify.annotations.DefaultNonNull;%0Aimport org.jspecify.annotations.Nullable;%0Aimport org.jspecify.annotations.NullnessUnspecified;%0A%0A@DefaultNonNull%0Aclass MultiplePathsToTypeVariable %7B%0A  interface TBounded%3CT, U extends T%3E %7B%0A    U get();%0A  %7D%0A%0A  interface TUnspecBounded%3CT, U extends @NullnessUnspecified T%3E %7B%0A    U get();%0A  %7D%0A%0A  interface TUnionNullBounded%3CT, U extends @Nullable T%3E %7B%0A    U get();%0A  %7D%0A%0A  %3CT%3E Object x0(TBounded%3CT, ? extends T%3E t) %7B%0A    return t.get();%0A  %7D%0A%0A  %3CT%3E Object x1(TBounded%3CT, ? extends @NullnessUnspecified T%3E t) %7B%0A    return t.get();%0A  %7D%0A%0A  %3CT%3E Object x2(TBounded%3CT, ? extends @Nullable T%3E t) %7B%0A    return t.get();%0A  %7D%0A%0A  %3CT%3E Object x3(TUnspecBounded%3CT, ? extends T%3E t) %7B%0A    return t.get();%0A  %7D%0A%0A  %3CT%3E Object x4(TUnspecBounded%3CT, ? extends @NullnessUnspecified T%3E t) %7B%0A    // jspecify_nullness_not_enough_information%0A    return t.get();%0A  %7D%0A%0A  %3CT%3E Object x5(TUnspecBounded%3CT, ? extends @Nullable T%3E t) %7B%0A    // jspecify_nullness_not_enough_information%0A    return t.get();%0A  %7D%0A%0A  %3CT%3E Object x6(TUnionNullBounded%3CT, ? extends T%3E t) %7B%0A    return t.get();%0A  %7D%0A%0A  %3CT%3E Object x7(TUnionNullBounded%3CT, ? extends @NullnessUnspecified T%3E t) %7B%0A    // jspecify_nullness_not_enough_information%0A    return t.get();%0A  %7D%0A%0A  %3CT%3E Object x8(TUnionNullBounded%3CT, ? extends @Nullable T%3E t) %7B%0A    // jspecify_nullness_mismatch%0A    return t.get();%0A  %7D%0A%7D%0A

Add a sample in which there are multiple "paths" from one type variable to another.