syntax_data: {"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"#[instrument(level"}]}
source_snippet:     #[instrument(level = "trace", skip(self))]
context_after:     fn check_let(&mut self, pat: &'p Pat<'tcx>, scrutinee: Option<ExprId>, span: Span) {