tests/ui/codegen/issue-99551.rs

   1 // build-pass
   2 #![feature(trait_upcasting)]
   3
   4 pub trait A {}
   5 pub trait B {}
   6
   7 pub trait C: A + B {}
   8 impl<X: A + B> C for X {}
   9
  10 pub fn test<'a, T>(view: T) -> Option<&'a mut dyn B>
  11 where
  12     T: IntoIterator<Item = &'a mut dyn B>,
  13 {
  14     return Some(view.into_iter().next().unwrap());
  15 }
  16
  17 fn main() {
  18     let mut a: Vec<Box<dyn C>> = Vec::new();
  19     test(a.iter_mut().map(|c| c.as_mut() as &mut dyn B));
  20 }