<component name="ProjectDictionaryState">
  <dictionary name="abreslav">
    <words>
      <w>accessor</w>
      <w>covariantly</w>
      <w>deserialized</w>
      <w>dominator</w>
      <w>inferrer</w>
      <w>iterable</w>
      <w>nondeterministic</w>
      <w>nullable</w>
      <w>overridable</w>
      <w>pseudocode</w>
      <w>substitutor</w>
      <w>subtyping</w>
      <w>supertype</w>
      <w>supertypes</w>

  <dictionary name="valentin">
    <words>
      <w>decapitalize</w>
      <w>delegator</w>
      <w>elipsis</w>
      <w>funs</w>
      <w>immediates</w>
      <w>initializers</w>
      <w>inserter</w>
      <w>negatable</w>
      <w>pparent</w>
      <w>precheck</w>
      <w>prioritizer</w>
      <w>processings</w>
      <w>rbrace</w>
      <w>rbracket</w>
      <w>renderers</w>
      <w>rparenth</w>

<component name="ProjectDictionaryState">
  <dictionary name="bashor">
    <words>
      <w>binaryen</w>
      <w>ctor</w>
      <w>inlining</w>
      <w>interner</w>
      <w>intrinsicify</w>
      <w>kclass</w>
      <w>lookups</w>
      <w>minification</w>
      <w>minifier</w>
      <w>minify</w>
      <w>unescape</w>
    </words>
  </dictionary>

        PlatformClassMappedToKotlinImpl(
            firDiagnostic.a,
            firDiagnostic as KtPsiDiagnostic,
            token,
        )
    }
    add(FirErrors.INFERRED_TYPE_VARIABLE_INTO_EMPTY_INTERSECTION.errorFactory) { firDiagnostic ->
        InferredTypeVariableIntoEmptyIntersectionErrorImpl(
            firDiagnostic.a,
            firDiagnostic.b.map { coneKotlinType ->

- [`KT-58224`](https://youtrack.jetbrains.com/issue/KT-58224) K2: deprecation on field is not detected properly
- [`KT-55662`](https://youtrack.jetbrains.com/issue/KT-55662) K2. Incorrect type mismatch error "inferred type is IOT" instead of "inferred type is Int"
- [`KT-55668`](https://youtrack.jetbrains.com/issue/KT-55668) K2. 'in' modifier became applicable to star projection

  }

  @Test
  @TestMetadata("underscoreTypeArgument_inferred.kt")
  public void testUnderscoreTypeArgument_inferred() {
    runTest("analysis/analysis-api/testData/components/typeProvider/typeReference/underscoreTypeArgument_inferred.kt");
  }

  @Test
  @TestMetadata("underscoreTypeArgument_reified.kt")
  public void testUnderscoreTypeArgument_reified() {

            is KtPropertyAccessor ->
                parent.bodyExpression == child && doesPropertyAccessorUseBody(parent, child)

            // Lambdas do not use their expression-blocks if they are inferred
            // to be of unit type
            is KtFunctionLiteral ->
                parent.bodyBlockExpression == child && !returnsUnit(parent)

            /** See [doesNamedFunctionUseBody] */