blob: 80850a2639fbd24d709d178f74f4ecbcf3c2a3d7 [file] [log] [blame]
//@ 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 = &();
}