}

  @Test
  @TestMetadata("localTypes.kt")
  public void testLocalTypes() {
    runTest("analysis/analysis-api/testData/components/typeInfoProvider/isDenotable/localTypes.kt");
  }

  @Test
  @TestMetadata("simpleTypes.kt")

  }

  @Test
  @TestMetadata("localTypes.kt")
  public void testLocalTypes() {
    runTest("analysis/analysis-api/testData/components/typeInfoProvider/isDenotable/localTypes.kt");
  }

  @Test
  @TestMetadata("simpleTypes.kt")

  }

  @Test
  @TestMetadata("localTypes.kt")
  public void testLocalTypes() {
    runTest("analysis/analysis-api/testData/components/typeInfoProvider/isDenotable/localTypes.kt");
  }

  @Test
  @TestMetadata("simpleTypes.kt")

  }

  @Test
  @TestMetadata("localTypes.kt")
  public void testLocalTypes() {
    runTest("analysis/analysis-api/testData/components/typeInfoProvider/isDenotable/localTypes.kt");
  }

  @Test
  @TestMetadata("simpleTypes.kt")

    override fun fullyExpandedType(type: KaType): KaType = type

    private fun KotlinType.isDenotable(): Boolean {
        if (this is DefinitelyNotNullType) return false
        return constructor.isDenotable &&
                constructor.declarationDescriptor?.name != SpecialNames.NO_NAME_PROVIDED &&
                arguments.all { it.type.isDenotable() }
    }

@SuppressWarnings("all")
@TestMetadata("analysis/analysis-api/testData/components/typeInfoProvider/isDenotable")
@TestDataPath("$PROJECT_ROOT")
public class FirIdeNormalAnalysisScriptSourceModuleIsDenotableTestGenerated extends AbstractIsDenotableTest {
  @NotNull
  @Override
  public AnalysisApiTestConfigurator getConfigurator() {

@SuppressWarnings("all")
@TestMetadata("analysis/analysis-api/testData/components/typeInfoProvider/isDenotable")
@TestDataPath("$PROJECT_ROOT")
public class FirIdeDependentAnalysisScriptSourceModuleIsDenotableTestGenerated extends AbstractIsDenotableTest {
  @NotNull
  @Override

                        } else {
                            expression.getKaType()
                        }
                        val actualHasDenotableType = ktType?.isDenotable ?: error("${base.text} does not have a type.")
                        when (actualHasDenotableType) {
                            true -> append("@Denotable")
                            false -> append("@Nondenotable")

     * https://kotlinlang.org/spec/type-system.html#type-kinds for more details.
     */
    public val KaType.isDenotable: Boolean
        get() = withValidityAssertion { analysisSession.typeInfoProvider.isDenotable(this) }

    /**
     * Returns true if this type is a functional interface type, a.k.a. SAM type, e.g., Runnable.
     */

    }

    override fun canBeNull(type: KaType): Boolean = (type as KaFirType).coneType.canBeNull(analysisSession.useSiteSession)

    override fun isDenotable(type: KaType): Boolean {
        val coneType = (type as KaFirType).coneType
        return analysisSession.useSiteSession.typeApproximator.approximateToSuperType(
            coneType,