Sign in
android
/
toolchain
/
rustc
/
5139364148b53d79de1b5e778004d41a6a33a4a2
/
.
/
tests
/
ui
/
impl-trait
/
in-trait
/
anonymize-binders-for-refine.rs
blob: 09fbef2ec07b4f19f2fabaeaa86c2cc564baac08 [
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
>
{}
}