@@ -0,0 +1,1650 @@
+/*%0A * Copyright 2022 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.nullness.NullMarked;%0Aimport org.jspecify.nullness.Nullable;%0Aimport org.jspecify.nullness.NullnessUnspecified;%0A%0A@NullMarked%0Ainterface WildcardBoundWithAnnotations %7B%0A  %3CT%3E void use(Supplier%3C? extends T%3E s, Lib%3CT%3E l);%0A%0A  %3CT%3E void useUnspec(Supplier%3C? extends @NullnessUnspecified T%3E s, Lib%3CT%3E l);%0A%0A  %3CT%3E void useUnionNull(Supplier%3C? extends @Nullable T%3E s, Lib%3CT%3E l);%0A%0A  default %3CT%3E void x0(Supplier%3C? extends T%3E s, Lib%3CT%3E l) %7B%0A    use(s, l);%0A    useUnspec(s, l);%0A    useUnionNull(s, l);%0A  %7D%0A%0A  default %3CT%3E void x1(Supplier%3C? extends @NullnessUnspecified T%3E s, Lib%3CT%3E l) %7B%0A    // jspecify_nullness_not_enough_information%0A    use(s, l);%0A    // jspecify_nullness_not_enough_information%0A    useUnspec(s, l);%0A    useUnionNull(s, l);%0A  %7D%0A%0A  default %3CT%3E void x2(Supplier%3C? extends @Nullable T%3E s, Lib%3CT%3E l) %7B%0A    // jspecify_nullness_mismatch%0A    use(s, l);%0A    // jspecify_nullness_not_enough_information%0A    useUnspec(s, l);%0A    useUnionNull(s, l);%0A  %7D%0A%0A  interface Supplier%3CT extends @Nullable Object%3E %7B%7D%0A%0A  interface Lib%3CT%3E %7B%7D%0A%7D%0A

Add a sample inspired by a mis-annotated Guava API that our prototype missed.