tests/ui/higher-rank-trait-bounds/normalize-under-binder/issue-76956.rs


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

// check-pass

use std::ops::Deref;

struct Data {
    boxed: Box<&'static i32>
}

impl Data {
    fn use_data(&self, user: impl for <'a> FnOnce(<Box<&'a i32> as Deref>::Target)) {
        user(*self.boxed)
    }
}

fn main() {}