Function rustc_query_impl::make_query::mir_borrowck

pub fn mir_borrowck<'tcx>(
    tcx: QueryCtxt<'tcx>, 
    key: mir_borrowck<'tcx>
) -> QueryStackFrame

Borrow-checks the function body. If this is a closure, returns additional requirements that the closure’s creator must verify.