// !DIAGNOSTICS: -UNUSED_PARAMETER trait Foo { fun foo(l: List) } trait Bar { fun foo(l: List) } class Baz(f: Foo, b: Bar): Foo by f, Bar by b { }