syntax_data: {"ast_node_type":"other","tokens":[{"end":97,"kind":"keyword","start":0,"text":"#[instrument(level"}]}
source_snippet:     #[instrument(level = "trace", skip(self), fields(binders_passed = self.binders_passed), ret)]
context_before:     /// is that only in the second case have we passed through a fn binder.
context_after:     fn shift_vars_through_binders<T: TypeFoldable<I>>(&self, val: T) -> T {