tests/ui/traits/issue-72410.rs

   1 // Regression test for #72410, this should be used with debug assertion enabled.
   2
   3 // should be fine
   4 pub trait Foo {
   5     fn map()
   6     where
   7         Self: Sized,
   8         for<'a> &'a mut [u8]: ;
   9 }
  10
  11 // should fail
  12 pub trait Bar {
  13     fn map()
  14     where for<'a> &'a mut [dyn Bar]: ;
  15     //~^ ERROR: the trait `Bar` cannot be made into an object
  16 }
  17
  18 fn main() {}