tests/ui/impl-trait/in-trait/sized-rpits-dont-need-pointer-like.rs


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

//@ check-pass

// Make sure that we don't enforce that an RPIT that has `where Self: Sized` is pointer-like.

trait Foo {
    fn foo() -> impl Sized where Self: Sized {}
}

impl Foo for () {}

fn main() {
    let x: &dyn Foo = &();
}