public val UNIT: KaType
        get() = unit

    public abstract val nothing: KaType

    @Deprecated("Use 'nothing' instead.", replaceWith = ReplaceWith("nothing"))
    public val NOTHING: KaType
        get() = nothing

    public abstract val any: KaType

    @Deprecated("Use 'any' instead.", replaceWith = ReplaceWith("any"))
    public val ANY: KaType

MODULE_FRAGMENT
  FILE fqName:<root> fileName:main.kt
    FUN name:foo visibility:public modality:FINAL <> () returnType:kotlin.Int
      annotations:
        Anno(x = ["A", "B"])
      BLOCK_BODY
        RETURN type=kotlin.Nothing from='public final fun foo (): kotlin.Int declared in <root>'
          CONST Int type=kotlin.Int value=10
    FUN name:test visibility:public modality:FINAL <> () returnType:kotlin.Unit
      BLOCK_BODY

        val modules = configuration.moduleStructureExtractor.splitTestDataByModules(filePath, configuration.directives)

        if (modules.modules.none { it.files.any { it.isKtFile } }) {
            return true // nothing to highlight
        }

        return shouldSkipTest(filePath, configuration)
    }

    /**
     * Consider [org.jetbrains.kotlin.test.model.AfterAnalysisChecker.suppressIfNeeded] firstly
     */

              annotations:
                MyComposable
              BLOCK_BODY
                RETURN type=kotlin.Nothing from='local final fun <anonymous> (): kotlin.Unit declared in <root>.ArticleScreenContent'

                  VALUE_PARAMETER name:it index:0 type:kotlin.Int
                  BLOCK_BODY
                    RETURN type=kotlin.Nothing from='local final fun <anonymous> (it: kotlin.Int): kotlin.Int declared in <root>.CodeFragment.run'

/**
 * A special dynamic type, which is used to support interoperability with dynamically typed libraries, platforms or languages.
 *
 * Although this can be viewed as a flexible type (kotlin.Nothing..kotlin.Any?), a platform may assign special meaning to the
 * values of dynamic type, and handle differently from the regular flexible type.
 */
public abstract class KaDynamicType : KaType

                false

            /**
             * EXPRESSIONS
             */
            // A handful of expression are never considered used:

            //  - Everything of type `Nothing`
            is KtThrowExpression ->
                false
            is KtReturnExpression ->
                false
            is KtBreakExpression ->
                false
            is KtContinueExpression ->

                    arg0: GET_VAR 'val tmp_0: <root>.Foo? [val] declared in <root>.CodeFragment.run' type=<root>.Foo? origin=null
                    arg1: CONST Null type=kotlin.Nothing? value=null
                  then: CONST Null type=kotlin.Nothing? value=null
                BRANCH
                  if: CONST Boolean type=kotlin.Boolean value=true

fun test() {
    while(true) {
        val x = 45 ?: <expr>break</expr>
        return
    }
}

// IGNORE_FE10

                      VALUE_PARAMETER name:it index:0 type:kotlin.Int
                      BLOCK_BODY
                        RETURN type=kotlin.Nothing from='local final fun <anonymous> (it: kotlin.Int): kotlin.Boolean declared in <root>.CodeFragment.run'