balazske wrote: If `FromTypeRequirement.isSubstitutionFailure()` can be true at compile error it can be still possible to call `testImport` or `getTuDecl` with the code. https://github.com/llvm/llvm-project/pull/138838