fixup! [Analysis API] implement an API to get a substitution based on a inheritance relationship between classes

This commit is contained in:
Ilya Kirillov
2023-10-05 16:20:20 +02:00
committed by Space Team
parent 8f6b3d37b9
commit 9dcd142f0d
5 changed files with 31 additions and 0 deletions
@@ -0,0 +1,10 @@
// WITH_STDLIB
interface A<caret_base>A<T, X> : BB<T, X>, CC<T, X>
interface BB<K, I> : DD<K, I>
interface CC<E, U> : DD<E, U>
interface D<caret_super>D<M, N> {
fun foo(): Pair<M, N>
}
@@ -0,0 +1,3 @@
Substitutor: <map substitutor: {M = K, N = I}> then <map substitutor: {K = T, I = X}>
Substituted callables:
foo(): Pair<T, X>