@@ -0,0 +1,823 @@
+/*%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;%0A%0A@DefaultNonNull%0Ainterface ParameterizedWithTypeVariableArgumentToSelf%3CE%3E %7B%0A  default Lib%3CE%3E get() %7B%0A    return doGet();%0A  %7D%0A%0A  Lib%3CE%3E doGet();%0A%0A  interface Lib%3CE%3E %7B%7D%0A%7D%0A

Sample input to show that `Foo<T>` is a subtype of `Foo<T>`.