blob: 09fbef2ec07b4f19f2fabaeaa86c2cc564baac08 (
plain)
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> {}
}
|