Sign in
android
/
toolchain
/
rustc
/
refs/heads/main
/
.
/
tests
/
ui
/
impl-trait
/
in-trait
/
anonymize-binders-for-refine.rs
blob: a3c4beeb46979abcb09dc2a325218ca3cc2b9a64 [
file
] [
log
] [
blame
]
//@ compile-flags: --crate-type=lib
//@ check-pass
#![
deny
(
refining_impl_trait
)]
pub
trait
Tr
<
T
>
{
fn
foo
()
->
impl
for
<
'a> Tr<&'
a
Self
>;
}
impl
<
T
>
Tr
<
T
>
for
()
{
fn
foo
()
->
impl
for
<
'a> Tr<&'
a
Self
>
{}
}