* limitations under the License.
 */

package org.gradle.kotlin.dsl.fixtures.codegen;

public interface GenericsVariance {

    void invariant(Class<Number> type);

    void covariant(Class<? extends Number> type);

    void contravariant(Class<? super Number> type);

    runTest("analysis/analysis-api/testData/components/typeInfoProvider/superTypes/contravariant.kt");
  }

  @Test
  @TestMetadata("covariant.kt")
  public void testCovariant() {
    runTest("analysis/analysis-api/testData/components/typeInfoProvider/superTypes/covariant.kt");
  }

  @Test
  @TestMetadata("errorType.kt")
  public void testErrorType() {

    runTest("analysis/analysis-api/testData/components/typeInfoProvider/superTypes/contravariant.kt");
  }

  @Test
  @TestMetadata("covariant.kt")
  public void testCovariant() {
    runTest("analysis/analysis-api/testData/components/typeInfoProvider/superTypes/covariant.kt");
  }

  @Test
  @TestMetadata("errorType.kt")
  public void testErrorType() {

    runTest("analysis/analysis-api/testData/components/typeInfoProvider/superTypes/contravariant.kt");
  }

  @Test
  @TestMetadata("covariant.kt")
  public void testCovariant() {
    runTest("analysis/analysis-api/testData/components/typeInfoProvider/superTypes/covariant.kt");
  }

  @Test
  @TestMetadata("errorType.kt")
  public void testErrorType() {

  }

  @Override
  public T or(T defaultValue) {
    return checkNotNull(defaultValue, "use Optional.orNull() instead of Optional.or(null)");
  }

  @SuppressWarnings("unchecked") // safe covariant cast
  @Override
  public Optional<T> or(Optional<? extends T> secondChoice) {
    return (Optional<T>) checkNotNull(secondChoice);
  }

  @Override
  public T or(Supplier<? extends T> supplier) {

                when (function.name) {
                    "invariant" -> function.parameters.single().assertSingleTypeArgumentWithVariance(Variance.INVARIANT)
                    "covariant" -> function.parameters.single().assertSingleTypeArgumentWithVariance(Variance.COVARIANT)
                    "contravariant" -> function.parameters.single().assertSingleTypeArgumentWithVariance(Variance.CONTRAVARIANT)

   * already been re-added.
   */
  // Technically should accept RemovalNotification<? extends K, ? extends V>, but because
  // RemovalNotification is guaranteed covariant, let's make users' lives simpler.
  void onRemoval(RemovalNotification<K, V> notification);

  }

  @Override
  public T or(T defaultValue) {
    return checkNotNull(defaultValue, "use Optional.orNull() instead of Optional.or(null)");
  }

  @SuppressWarnings("unchecked") // safe covariant cast
  @Override
  public Optional<T> or(Optional<? extends T> secondChoice) {
    return (Optional<T>) checkNotNull(secondChoice);
  }

  @Override
  public T or(Supplier<? extends T> supplier) {

  @Override
  ImmutableCollection<E> delegateCollection() {
    return delegate;
  }

  ImmutableList<? extends E> delegateList() {
    return delegateList;
  }

  @SuppressWarnings("unchecked") // safe covariant cast!
  @Override
  public UnmodifiableListIterator<E> listIterator(int index) {
    return (UnmodifiableListIterator<E>) delegateList.listIterator(index);
  }

  @GwtIncompatible // not present in emulated superclass

   * already been re-added.
   */
  // Technically should accept RemovalNotification<? extends K, ? extends V>, but because
  // RemovalNotification is guaranteed covariant, let's make users' lives simpler.
  void onRemoval(RemovalNotification<K, V> notification);