{"ast_node_type":"variable","tokens":[{"end":75,"kind":"keyword","start":0,"text":"///"}]}
    /// This is responsible for enforcing the first and third bullet point.
    ///
    fn reset_and_find<'tcx>(&mut self, body: &Body<'tcx>, borrowed: &DenseBitSet<Local>) {