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