// ignore-test

trait Foo { }

type Bar = dyn Foo;