Sign in
android
/
toolchain
/
rustc
/
refs/heads/main
/
.
/
tests
/
ui
/
associated-type-bounds
/
supertrait-referencing.rs
blob: 06b5489f8535beb498cf1426c7b41a253643ce1e [
file
] [
log
] [
blame
]
//@ check-pass
// The goal of this test is to ensure that T: Bar<T::Item>
// in the where clause does not cycle
trait
Foo
{
type
Item
;
}
trait
Bar
<
T
>
{}
fn
baz
<
T
>()
where
T
:
Foo
,
T
:
Bar
<
T
::
Item
>,
{
}
fn
main
()
{}