syntax_data: {"ast_node_type":"function","tokens":[{"end":75,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     /// is that only in the second case have we passed through a fn binder.
context_before:     /// first case we do not increase the De Bruijn index and in the second case we do. The reason
context_after:     #[instrument(level = "trace", skip(self), fields(binders_passed = self.binders_passed), ret)]