If I have ``` class Bar class Baz: Bar class Foo&l...

# announcements

[supaham]

If I have

class Bar
class Baz: Bar
class Foo<T: Bar>() {
  fun input(t: T)
  fun returnT(): T
}

Then

class Other(val foo: Foo<Bar>)
class Impl(foo: Foo<Baz>): Other(foo)

Impl generates: [TYPE_MISMATCH] Type mismatch: inferred type is Foo<Baz> but Foo<Bar> was expected

How can I overcome this issue?

[gildor]

supaham: Something like:
class Foo<out T: Bar> {
fun input(t: @UnsafeVariance T)
fun returnT(): T
}