FIR: regard implicit type for value parameter after body resolve as an error type

This commit is contained in:
Jinseong Jeon
2021-02-09 00:27:04 -08:00
committed by Mikhail Glukhikh
parent fbb19e3b50
commit 9aaa952b39
4 changed files with 7 additions and 7 deletions
@@ -74,7 +74,7 @@ open class FirBodyResolveTransformer(
return (element.transformChildren(this, data) as E).compose()
}
override fun transformTypeRef(typeRef: FirTypeRef, data: ResolutionMode): CompositeTransformResult<FirTypeRef> {
override fun transformTypeRef(typeRef: FirTypeRef, data: ResolutionMode): CompositeTransformResult<FirResolvedTypeRef> {
if (typeRef is FirResolvedTypeRef) {
return typeRef.compose()
}
@@ -704,6 +704,9 @@ open class FirDeclarationsResolveTransformer(transformer: FirBodyResolveTransfor
context.storeVariable(valueParameter)
if (valueParameter.returnTypeRef is FirImplicitTypeRef) {
transformer.replaceDeclarationResolvePhaseIfNeeded(valueParameter, transformerPhase)
valueParameter.replaceReturnTypeRef(
valueParameter.returnTypeRef.errorTypeFromPrototype(ConeSimpleDiagnostic("Unresolved value parameter type"))
)
return valueParameter.compose()
}