FIR resolve: provide proper type for super reference

This commit is contained in:
Simon Ogorodnik
2019-04-18 18:14:16 +03:00
committed by Mikhail Glukhikh
parent 9dcf8f836a
commit aa5f0fded5
@@ -238,8 +238,10 @@ open class FirBodyResolveTransformer(val session: FirSession, val implicitTypeOn
} }
is FirSuperReference -> { is FirSuperReference -> {
qualifiedAccessExpression.resultType = qualifiedAccessExpression.resultType =
FirErrorTypeRefImpl(session, qualifiedAccessExpression.psi, "Unsupported: super type") //TODO callee.superTypeRef as? FirResolvedTypeRef ?:
implicitReceiverStack.filterIsInstance<ImplicitDispatchReceiverValue>().lastOrNull()
?.boundSymbol?.fir?.superTypeRefs?.firstOrNull()
?: FirErrorTypeRefImpl(session, qualifiedAccessExpression.psi, "No super type")
} }
is FirResolvedCallableReference -> { is FirResolvedCallableReference -> {
if (qualifiedAccessExpression.typeRef !is FirResolvedTypeRef) { if (qualifiedAccessExpression.typeRef !is FirResolvedTypeRef) {