Sign in
rust
/
rust
/
dc9879cb3d3446c41b6d7d6813b7bfd17da1134f
/
.
/
tests
/
ui
/
impl-trait
/
in-trait
/
sized-rpits-dont-need-pointer-like.rs
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
=
&();
}