tests/crashes/130797.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

//@ known-bug: #130797

trait Transform {
    type Output<'a>;
}
trait Propagate<O> {}
trait AddChild<C> {
    fn add_child(&self) {}
}

pub struct Node<T>(T);
impl<T> AddChild<Box<dyn for<'b> Propagate<T::Output<'b>>>> for Node<T> where T: Transform {}

fn make_graph_root() {
    Node(Dummy).add_child()
}

struct Dummy;
impl Transform for Dummy {
    type Output<'a> = ();
}

pub fn main() {}