{"ast_node_type":"other","tokens":[{"end":21,"kind":"keyword","start":0,"text":"#[inline(always)]"}]}
    #[inline(always)]
    /// (i.e., this is called for reads that do not end up accessing addressable memory).
    fn after_local_read(