tests/ui/impl-trait/in-trait/anonymize-binders-for-refine.rs


1
2
3
4
5
6
7
8
9
10
11
12

//@ 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> {}
}