tests/ui/impl-trait/in-trait/placeholder-implied-bounds.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

//@ revisions: current next
//@[next] compile-flags: -Znext-solver
//@ ignore-compare-mode-next-solver (explicit revisions)
//@ check-pass

pub fn main() {}

pub trait Iced {
    fn get(&self) -> &impl Sized;
}

/// Impl causes ICE
impl Iced for () {
    fn get(&self) -> &impl Sized {
        &()
    }
}