Sign in
fuchsia
/
third_party
/
rust
/
1e5ec0a12c73efdd9a492fdc7ab661d90dc5bcf5
/
.
/
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
());
}