[FE] Prohibit sealed fun interfaces
#KT-44947 Fixed
This commit is contained in:
@@ -0,0 +1,15 @@
|
||||
<!UNSUPPORTED!>sealed<!> fun interface A { // error
|
||||
fun foo()
|
||||
}
|
||||
|
||||
sealed interface Base {
|
||||
<!UNSUPPORTED!>sealed<!> fun interface Derived : Base { // error
|
||||
fun foo()
|
||||
}
|
||||
}
|
||||
|
||||
sealed interface IBase {
|
||||
fun interface IDerived : IBase { // OK
|
||||
fun foo()
|
||||
}
|
||||
}
|
||||
Reference in New Issue
Block a user