1 // revisions: base polonius
2 // ignore-compare-mode-polonius
3 // [polonius] compile-flags: -Z polonius
12 let f = |x: &dyn TT| x.func();
13 //[base]~^ ERROR: borrowed data escapes outside of closure
14 //[polonius]~^^ ERROR: borrowed data escapes outside of closure