Sign in
android
/
toolchain
/
rustc
/
refs/heads/main
/
.
/
tests
/
ui
/
sized
/
coinductive-1.rs
blob: 3c1ee557af7749da4276b9271f28c49321dac222 [
file
] [
log
] [
blame
]
//@ check-pass
struct
Node
<
C
:
Trait
<
Self
>>(
C
::
Assoc
);
trait
Trait
<
T
>
{
type
Assoc
;
}
impl
<
T
>
Trait
<
T
>
for
Vec
<()>
{
type
Assoc
=
Vec
<
T
>;
}
fn
main
()
{
let
_
=
Node
::<
Vec
<()>>(
Vec
::
new
());
}