syntax_data: {"ast_node_type":"function","tokens":[{"end":75,"kind":"keyword","start":0,"text":"fn"}]}
source_snippet:     fn shift_vars_through_binders<T: TypeFoldable<I>>(&self, val: T) -> T {
context_before:     #[instrument(level = "trace", skip(self), fields(binders_passed = self.binders_passed), ret)]
context_after:         if self.binders_passed == 0 || !val.has_escaping_bound_vars() {