Closed
Description
This example:
#![allow(warnings)]
#![feature(nll)]
trait Bazinga { }
impl<F> Bazinga for F { }
fn produce<'a>(data: &'a u32) -> impl Bazinga + 'a {
let x = move || {
let _data: &'a u32 = data;
};
x
}
fn main() { }
error: internal compiler error: librustc_mir/borrow_check/nll/universal_regions.rs:825: cannot convert `ReFree(DefId(0/0:5 ~ playground[f23d]::produce[0]), BrNamed(crate0:DefIndex(1:10), 'a))` to a region vid
This is split off from #51351 and I think retains the spirit of the original example better.