Extract diagnostics about 'sealed fun interface' to a separate one

^KT-59152
This commit is contained in:
Mikhail Zarechenskiy
2023-06-07 14:40:59 +02:00
committed by Space Team
parent d772126f2c
commit 2dfdd8dcf6
4 changed files with 5 additions and 3 deletions
@@ -1,9 +1,9 @@
<!UNSUPPORTED!>sealed<!> fun interface A { // error
<!UNSUPPORTED_SEALED_FUN_INTERFACE!>sealed<!> fun interface A { // error
fun foo()
}
sealed interface Base {
<!UNSUPPORTED!>sealed<!> fun interface Derived : Base { // error
<!UNSUPPORTED_SEALED_FUN_INTERFACE!>sealed<!> fun interface Derived : Base { // error
fun foo()
}
}