summaryrefslogtreecommitdiffstats
path: root/tests/ui/codegen/issue-99551.rs
blob: b223aff4e94923f151020f3ec51eeeeca3991d08 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
// build-pass
#![feature(trait_upcasting)]

pub trait A {}
pub trait B {}

pub trait C: A + B {}
impl<X: A + B> C for X {}

pub fn test<'a, T>(view: T) -> Option<&'a mut dyn B>
where
    T: IntoIterator<Item = &'a mut dyn B>,
{
    return Some(view.into_iter().next().unwrap());
}

fn main() {
    let mut a: Vec<Box<dyn C>> = Vec::new();
    test(a.iter_mut().map(|c| c.as_mut() as &mut dyn B));
}