Source session for module <main>

Call 1

IllegalStateException#(String(Something is not defined.))

Candidate 1: FirConstructorSymbol java/lang/IllegalStateException.IllegalStateException --- constructor(p0: String!): {kotlin/IllegalStateException=} IllegalStateException

Resolution Stages > CheckArguments:
  1. kotlin/String <: kotlin/String! from Argument String(Something is not defined.)

Candidate 2: FirConstructorSymbol java/lang/IllegalStateException.IllegalStateException --- constructor(p0: Throwable!): {kotlin/IllegalStateException=} IllegalStateException

Resolution Stages > CheckArguments:
  1. kotlin/String <: kotlin/Throwable! from Argument String(Something is not defined.)
  2. NewConstraintError: kotlin/String <: kotlin/Throwable!

Candidate 1: FirConstructorSymbol java/lang/IllegalStateException.IllegalStateException --- constructor(p0: String!): {kotlin/IllegalStateException=} IllegalStateException

Continue Resolution Stages > CheckLambdaAgainstTypeVariableContradiction:
  1. {kotlin/IllegalStateException=} java/lang/IllegalStateException <: kotlin/Throwable from ExpectedType for some call

Call 2

parse#(R|<local>/data|)

Candidate 1: FirNamedFunctionSymbol /parse --- fun <T> parse(data: String): T

Resolution Stages > CreateFreshTypeVariableSubstitutorStage:
  1. New TypeVariable(T) for FirNamedFunctionSymbol /parses parameter 0
Resolution Stages > CheckArguments:
  1. kotlin/String <: kotlin/String from Argument R|/data|
Resolution Stages > CheckLambdaAgainstTypeVariableContradiction:
  1. TypeVariable(T) <: dynamic from ExpectedType for some call
Call Completion:
  1. Choose TypeVariable(T) with Readiness( false ALLOWED false HAS_PROPER_CONSTRAINTS false HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES false HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT false HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS false HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND false REIFIED false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT false HAS_PROPER_NON_ILT_CONSTRAINT false HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT false HAS_PROPER_EQUALITY_CONSTRAINT false HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT )

Call 3

when () {
    ==(this@R|/Test|.R|/Test.something|, Null(null)) ->  {
        throw R|java/lang/IllegalStateException.IllegalStateException|(String(Something is not defined.))
    }
    else ->  {
        R?C|/parse|(R|<local>/data|)
    }
}

Candidate 1: FirSyntheticFunctionSymbol _synthetic/WHEN_CALL --- fun <K> WHEN_CALL(vararg branches: K): K

Resolution Stages > CreateFreshTypeVariableSubstitutorStage:
  1. New TypeVariable(K) for FirSyntheticFunctionSymbol _synthetic/WHEN_CALLs parameter 0
Resolution Stages > CheckArguments:
  1. kotlin/Nothing <: TypeVariable(K) from Argument throw R|java/lang/IllegalStateException.IllegalStateException|(String(Something is not defined.))
  2. TypeVariable(T) <: TypeVariable(K) from Argument R?C|/parse|(R|/data|)
Resolution Stages > CheckIncompatibleTypeVariableUpperBounds:
  1. TypeVariable(K) == dynamic from ExpectedType for some call
  2. Combine TypeVariable(T) <: TypeVariable(K) with TypeVariable(K) == dynamic
    1. TypeVariable(T) <: dynamic
Call Completion:
  1. Choose TypeVariable(T) with Readiness( true ALLOWED true HAS_PROPER_CONSTRAINTS true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND false REIFIED false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT true HAS_PROPER_NON_ILT_CONSTRAINT true HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT false HAS_PROPER_EQUALITY_CONSTRAINT false HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT )
    1. TypeVariable(K) is Readiness( true ALLOWED true HAS_PROPER_CONSTRAINTS true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND false REIFIED false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT true HAS_PROPER_NON_ILT_CONSTRAINT false HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT true HAS_PROPER_EQUALITY_CONSTRAINT false HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT )
  2. TypeVariable(T) == dynamic from Fix variable T
  3. Combine TypeVariable(T) == dynamic with TypeVariable(T) <: TypeVariable(K)
    1. dynamic <: TypeVariable(K)
  4. Choose TypeVariable(K) with Readiness( true ALLOWED true HAS_PROPER_CONSTRAINTS true HAS_NO_OUTER_TYPE_VARIABLE_DEPENDENCY false HAS_CAPTURED_UPPER_BOUND_WITH_SELF_TYPES true HAS_PROPER_NON_SELF_TYPE_BASED_CONSTRAINT true HAS_NO_DEPENDENCIES_TO_OTHER_VARIABLES true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS true HAS_PROPER_NON_TRIVIAL_CONSTRAINTS_OTHER_THAN_INCORPORATED_FROM_DECLARED_UPPER_BOUND false REIFIED false HAS_PROPER_FLEXIBLE_LOWER_CONSTRAINT true HAS_PROPER_NON_ILT_CONSTRAINT false HAS_NO_EXPLICIT_LOWER_NOTHING_CONSTRAINT true HAS_PROPER_EQUALITY_CONSTRAINT false HAS_PROPER_NON_NOTHING_NON_UPPER_CONSTRAINT )
  5. TypeVariable(K) == dynamic from Fix variable K

Call 4

TODO#()

Candidate 1: FirNamedFunctionSymbol kotlin/TODO --- @InlineOnly() fun TODO(): Nothing

Continue Resolution Stages > CheckLambdaAgainstTypeVariableContradiction:
  1. kotlin/Nothing <: T from ExpectedType for some call