zyfuni
08/06/2023, 12:59 PMjw
08/06/2023, 1:49 PMEdoardo Luppi
08/07/2023, 7:24 AMJavier
08/08/2023, 10:57 AMzyfuni
08/08/2023, 12:08 PMJavier
08/08/2023, 1:06 PM@AddSuperTypeBar
class Foo
interface Bar
Fun main() {
// doesn't compile even if you fix it
// on the backend side, as it is marked as
// error on the IDE (frontend)
val bar: Bar = Foo()
)
Or your user doesn't care about anything on the IDE?
fun foo(): Foo = TODO()
Fun main() {
// it is valid on the IDE (frontend)
// but it would crash if you don't replace
// the body of `foo()` with valid code, so
// in backend you can `fun foo(): Foo = Foo()`
val foo: Foo = foo()
)
zyfuni
08/08/2023, 1:13 PMJavier
08/08/2023, 1:17 PMzyfuni
08/08/2023, 1:18 PMJavier
08/08/2023, 1:18 PMJavier
08/08/2023, 1:18 PMJavier
08/08/2023, 1:19 PMzyfuni
08/08/2023, 1:24 PMzyfuni
08/08/2023, 1:26 PMzyfuni
08/08/2023, 1:28 PMJavier
08/08/2023, 2:27 PM