IR: handle MemberAccessExpression type parameters in RemapTypes

2020-09-15 17:48:35 +03:00
parent 3041a2815c
commit 728c55973a
2 changed files with 15 additions and 0 deletions
@@ -123,6 +123,13 @@ class ScopeValidator(
        super.visitVariableAccess(expression)
    }

+    override fun visitMemberAccess(expression: IrMemberAccessExpression<*>) {
+        for (i in 0 until expression.typeArgumentsCount) {
+            expression.getTypeArgument(i)?.let { visitTypeAccess(expression, it) }
+        }
+        super.visitMemberAccess(expression)
+    }
+
    override fun visitCatch(aCatch: IrCatch) {
        // catchParameter only has scope over result expression
        handleValuesContainer(emptyList()) {