Sign in
fuchsia
/
third_party
/
rust
/
a10a02bf5fd00e4b34f1856af17d058dd5ec06f0
/
.
/
src
/
test
/
ui
/
associated-type-bounds
/
super-trait-referencing.rs
blob: 2e97535157fd2ca40ea0aba1f6786e3ccfd86c46 [
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
()
{}