blob: e7edc0bbce39d12d7b68c2b122addd23112a1f57 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
// edition:2021
#![feature(rustc_attrs)]
#![allow(unused)]
#![allow(dead_code)]
struct Int(i32);
struct B<'a>(&'a i32);
const I : Int = Int(0);
const REF_I : &'static Int = &I;
struct MyStruct<'a> {
a: &'static Int,
b: B<'a>,
}
fn foo<'a, 'b>(m: &'a MyStruct<'b>) -> impl FnMut() + 'static {
let c = #[rustc_capture_analysis] || drop(&m.a.0);
//~^ ERROR: attributes on expressions are experimental
//~| NOTE: see issue #15701 <https://github.com/rust-lang/rust/issues/15701>
//~| ERROR: First Pass analysis includes:
//~| ERROR: Min Capture analysis includes:
//~| NOTE: Capturing m[Deref,(0, 0),Deref,(0, 0)] -> ImmBorrow
//~| NOTE: Min Capture m[Deref,(0, 0),Deref] -> ImmBorrow
c
}
fn main() {
let t = 0;
let s = MyStruct { a: REF_I, b: B(&t) };
let _ = foo(&s);
}
|
