Vsevolod Tolstopyatov | 74bcc92 | 2018-05-03 20:07:54 +0300 | [diff] [blame] | 1 | /* |
Roman Elizarov | 1f74a2d | 2018-06-29 19:19:45 +0300 | [diff] [blame^] | 2 | * Copyright 2016-2018 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license. |
Vsevolod Tolstopyatov | 74bcc92 | 2018-05-03 20:07:54 +0300 | [diff] [blame] | 3 | */ |
| 4 | |
| 5 | package cases.interfaces |
| 6 | |
| 7 | public interface BaseWithImpl { |
| 8 | fun foo() = 42 |
| 9 | } |
| 10 | |
| 11 | public interface DerivedWithImpl : BaseWithImpl { |
| 12 | override fun foo(): Int { |
| 13 | return super.foo() + 1 |
| 14 | } |
| 15 | } |
| 16 | |
| 17 | public interface DerivedWithoutImpl : BaseWithImpl |
| 18 | |