blob: 1f136b8b998b260b178d0762a49f5e07101a72c7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
// check-pass
#![feature(return_type_notation)]
//~^ WARN the feature `return_type_notation` is incomplete
trait Foo {
fn borrow(&mut self) -> impl Sized + '_;
}
fn live_past_borrow<T: Foo<borrow(): 'static>>(mut t: T) {
let x = t.borrow();
drop(t);
drop(x);
}
// Test that the `'_` item bound in `borrow` does not cause us to
// overlook the `'static` RTN bound.
fn overlapping_mut<T: Foo<borrow(): 'static>>(mut t: T) {
let x = t.borrow();
let x = t.borrow();
}
fn main() {}
|
