21 lines
605 B
Rust
21 lines
605 B
Rust
|
#![feature(rustc_attrs, return_position_impl_trait_in_trait)]
|
||
|
|
#![allow(internal_features)]
|
||
|
|
#![rustc_variance_of_opaques]
|
||
|
|
|
||
|
|
trait Captures<'a> {}
|
||
|
|
impl<T> Captures<'_> for T {}
|
||
|
|
|
||
|
|
trait Foo<'i> {
|
||
|
|
fn implicit_capture_early<'a: 'a>() -> impl Sized {}
|
||
|
|
//~^ [o, *, *, o, o]
|
||
|
|
// Self, 'i, 'a, 'i_duplicated, 'a_duplicated
|
||
|
|
|
||
|
|
fn explicit_capture_early<'a: 'a>() -> impl Sized + Captures<'a> {} //~ [o, *, *, o, o]
|
||
|
|
|
||
|
|
fn implicit_capture_late<'a>(_: &'a ()) -> impl Sized {} //~ [o, *, o, o]
|
||
|
|
|
||
|
|
fn explicit_capture_late<'a>(_: &'a ()) -> impl Sized + Captures<'a> {} //~ [o, *, o, o]
|
||
|
|
}
|
||
|
|
|
||
|
|
fn main() {}
|