{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"#[instrument(level"}]}
    #[instrument(level = "debug", skip(self, pat_info))]
    /// Conversely, inside this module, `check_pat_top` should never be used.
    fn check_pat(&self, pat: &'tcx Pat<'tcx>, expected: Ty<'tcx>, pat_info: PatInfo<'tcx>) {