tests/crashes/130967.rs


1
2
3
4
5
6
7
8
9
10
11
12
13

//@ known-bug: #130967

trait Producer {
    type Produced;
    fn make_one() -> Self::Produced;
}

impl<E: ?Sized> Producer for () {
    type Produced = Option<E>;
    fn make_one() -> Self::Produced {
        loop {}
    }
}