Revert "IR: put resolution of unbound type parameter symbols behind a language version flag"

This reverts commit 9634e6fba3.
This commit is contained in:
Georgy Bronnikov
2020-04-15 15:56:31 +03:00
parent b4c62cdb52
commit a1a2da3c0f
3 changed files with 16 additions and 19 deletions
@@ -62,7 +62,7 @@ internal class FirClassImpl(
transformAnnotations(transformer, data) transformAnnotations(transformer, data)
typeParameters.transformInplace(transformer, data) typeParameters.transformInplace(transformer, data)
transformStatus(transformer, data) transformStatus(transformer, data)
transformDeclarations(transformer, data) declarations.transformInplace(transformer, data)
companionObject = declarations.asSequence().filterIsInstance<FirRegularClass>().firstOrNull { it.status.isCompanion } companionObject = declarations.asSequence().filterIsInstance<FirRegularClass>().firstOrNull { it.status.isCompanion }
superTypeRefs.transformInplace(transformer, data) superTypeRefs.transformInplace(transformer, data)
transformControlFlowGraphReference(transformer, data) transformControlFlowGraphReference(transformer, data)
@@ -65,7 +65,7 @@ internal class FirSealedClassImpl(
transformAnnotations(transformer, data) transformAnnotations(transformer, data)
typeParameters.transformInplace(transformer, data) typeParameters.transformInplace(transformer, data)
transformStatus(transformer, data) transformStatus(transformer, data)
transformDeclarations(transformer, data) declarations.transformInplace(transformer, data)
companionObject = declarations.asSequence().filterIsInstance<FirRegularClass>().firstOrNull { it.status.isCompanion } companionObject = declarations.asSequence().filterIsInstance<FirRegularClass>().firstOrNull { it.status.isCompanion }
superTypeRefs.transformInplace(transformer, data) superTypeRefs.transformInplace(transformer, data)
transformControlFlowGraphReference(transformer, data) transformControlFlowGraphReference(transformer, data)
@@ -53,7 +53,7 @@ class ExternalDependenciesGenerator(
} }
} while (unbound.isNotEmpty()) } while (unbound.isNotEmpty())
} }
}
private val SymbolTable.allUnbound: List<IrSymbol> private val SymbolTable.allUnbound: List<IrSymbol>
get() { get() {
@@ -65,12 +65,9 @@ class ExternalDependenciesGenerator(
r.addAll(unboundSimpleFunctions) r.addAll(unboundSimpleFunctions)
r.addAll(unboundProperties) r.addAll(unboundProperties)
r.addAll(unboundTypeAliases) r.addAll(unboundTypeAliases)
if (!languageVersionSettings.supportsFeature(LanguageFeature.NewInference)) {
r.addAll(unboundTypeParameters) r.addAll(unboundTypeParameters)
}
return r return r
} }
}
fun List<IrProvider>.getDeclaration(symbol: IrSymbol): IrDeclaration = fun List<IrProvider>.getDeclaration(symbol: IrSymbol): IrDeclaration =
firstNotNullResult { provider -> firstNotNullResult { provider ->