{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"//"}]}
        // no borrows of code region_scopes have been taken prior to
    fn initialize_start_block(&self, _: &mir::Body<'tcx>, _: &mut Self::Domain) {
        // function execution, so this method has no effect.