Sign in
fuchsia
/
third_party
/
rust
/
4ec9703467c6934bf0bc8be922f242226c32d0aa
/
.
/
src
/
test
/
ui
/
issues
/
issue-24424.rs
blob: 8b8c5bc23e48b51de3e7d60dbc9ba681f1e49926 [
file
] [
log
] [
blame
]
trait
Trait1
<
'
l0
,
T0
>
{}
trait
Trait0
<
'
l0
>
{}
impl
<
'l0, '
l1
,
T0
>
Trait1
<
'l0, T0> for bool where T0 : Trait0<'
l0
>,
T0
:
Trait0
<
'
l1
>
{}
//~^ ERROR type annotations required: cannot resolve `T0: Trait0<'l0>`
fn
main
()
{}