val symbol = declaration.getSymbol() as KaCallableSymbol

            val substitutor = buildSubstitutor {
                substitution(getSymbolByName(mainFile, "A"), builtinTypes.int)
                substitution(getSymbolByName(mainFile, "B"), builtinTypes.long)
                substitution(
                    getSymbolByName(mainFile, "C"),
                    buildClassType(StandardClassIds.List) {

    KtTestUtil.assertAllTestsPresentByMetadataWithExcluded(this.getClass(), new File("analysis/analysis-api/testData/substitutors/typeSubstitution"), Pattern.compile("^(.+)\\.kt$"), null, true);
  }

  @Test
  @TestMetadata("directSubstitution.kt")
  public void testDirectSubstitution() {
    runTest("analysis/analysis-api/testData/substitutors/typeSubstitution/directSubstitution.kt");
  }

  @Test
  @TestMetadata("emptySubstitution.kt")

	//
	//   func f[P, Q any](P, Q) {}
	//
	//   func _(s string) {
	//           f[int](s, s) // ERROR
	//   }
	//
	// With substitution, we get the error:
	//   "cannot use s (variable of type string) as int value in argument to f[int]"
	//
	// Without substitution we get the (worse) error:
	//   "type string of s does not match inferred type int for P"
	// even though the type int was provided (not inferred) for P.

rootProject.name = 'capability-dependency-substitution'

rootProject.name = "classifier-dependency-substitution"

    KtTestUtil.assertAllTestsPresentByMetadataWithExcluded(this.getClass(), new File("analysis/analysis-api/testData/substitutors/typeSubstitution"), Pattern.compile("^(.+)\\.kt$"), null, true);
  }

  @Test
  @TestMetadata("directSubstitution.kt")
  public void testDirectSubstitution() {
    runTest("analysis/analysis-api/testData/substitutors/typeSubstitution/directSubstitution.kt");
  }

  @Test
  @TestMetadata("emptySubstitution.kt")

rootProject.name = 'dependency-substitution'

                exists()
            }
            noMoreDependencies()
        }
    }

    // This is a weird test case, because why would you have a substitution rule
    // for a first level dependency? However it may be that you implicitly get a
    // substitution rule (via a plugin for example) that you are not aware of.
    // Ideally we should warn when such things happen (linting).

                appendLine()

                appendLine("Signature before substitution:")
                appendLine(stringRepresentation(signatureBeforeSubstitution))

                appendLine()

                appendLine("Signature after substitution:")
                appendLine(stringRepresentation(signatureAfterSubstitution))
            }
        }

rootProject.name = "attribute-dependency-substitution"