src/test/ui/traits/alias/issue-75983.rs

   1 // check-pass
   2
   3 #![feature(trait_alias)]
   4
   5 struct Bar;
   6 trait Foo {}
   7 impl Foo for Bar {}
   8
   9 trait Baz = Foo where Bar: Foo;
  10
  11 fn new() -> impl Baz {
  12     Bar
  13 }
  14
  15 fn main() {
  16     let _ = new();
  17 }