Sign in
android
/
toolchain
/
rustc
/
refs/heads/main
/
.
/
tests
/
ui
/
associated-types
/
issue-43475.rs
blob: 939a9b2a6ca93d3fec43e920d3d195de73f958f0 [
file
] [
log
] [
blame
]
//@ check-pass
trait
Foo
{
type
FooT
:
Foo
;
}
impl
Foo
for
()
{
type
FooT
=
();
}
trait
Bar
<
T
:
Foo
>
{
type
BarT
:
Bar
<
T
::
FooT
>;
}
impl
Bar
<()>
for
()
{
type
BarT
=
();
}
#[
allow
(
dead_code
)]
fn
test
<
C
:
Bar
<()>>()
{
}
fn
main
()
{
}