src/test/ui/regions/regions-infer-region-in-fn-but-not-type.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

// run-pass
#![allow(dead_code)]
#![allow(unused_variables)]
#![allow(non_camel_case_types)]


// check that the &isize here does not cause us to think that `foo`
// contains region pointers
// pretty-expanded FIXME #23616

struct foo(Box<dyn FnMut(&isize)+'static>);

fn take_foo<T:'static>(x: T) {}

fn have_foo(f: foo) {
    take_foo(f);
}

fn main() {}