K2: Support for inter-module interaction for @SubclassOptInRequired

The inter-module interaction was partially supported, but the
DiagnosticCompilerTestFE10TestdataTestGenerated and
LFirPreresolvedReversedDiagnosticCompilerFE10TestDataTestGenerated were
failing. This is because the arguments of annotations were not fully
resolved in loadExperimentalitiesFromAnnotationTo function.

^KT-60262 Fixed
This commit is contained in:
Anastasia.Nekrasova
2024-01-15 21:23:47 +02:00
committed by Space Team
parent d66b38b7a9
commit 7429dd4b94
8 changed files with 61 additions and 0 deletions
@@ -0,0 +1,15 @@
// MODULE: a
@file:OptIn(ExperimentalSubclassOptIn::class)
package a
@RequiresOptIn
annotation class Boom
@SubclassOptInRequired(Boom::class)
open class B {}
// MODULE: b(a)
package b
import a.B
class C : <!OPT_IN_USAGE_ERROR!>B<!>()