Sign in
android
/
toolchain
/
rustc
/
89a0a0cd9cbd0a0138a09bd877bbc73859a8c330
/
.
/
src
/
test
/
ui
/
higher-rank-trait-bounds
/
issue-60283.rs
blob: 05315b3f9f5e9931275c7dbc590c99ba4b6a7bfc [
file
] [
log
] [
blame
]
// check-pass
pub
trait
Trait
<
'
a
>
{
type
Item
;
}
impl
<
'a> Trait<'
a
>
for
()
{
type
Item
=
();
}
pub
fn
foo
<
T
,
F
>(
_
:
T
,
_
:
F
)
where
T
:
for
<
'a> Trait<'
a
>,
F
:
for
<
'a> FnMut(<T as Trait<'
a
>>::
Item
),
{
}
fn
main
()
{
foo
((),
drop
)
}