about summary refs log tree commit diff
path: root/src/test/ui/issues/issue-40000.rs
blob: 3639413bfafc2a8194d4f1ec6043405fb7b9a831 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
// revisions: base nll
// ignore-compare-mode-nll
//[nll] compile-flags: -Z borrowck=mir

fn main() {
    let bar: fn(&mut u32) = |_| {};

    fn foo(x: Box<dyn Fn(&i32)>) {}
    let bar = Box::new(|x: &i32| {}) as Box<dyn Fn(_)>;
    foo(bar);
    //~^ ERROR E0308
    //[nll]~^^ ERROR mismatched types
}