syntax_data: {"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"//"}]}
source_snippet: // `rustc_middle/src/ty/generic_args.rs` for more details.
context_before: // vars. See comment on `shift_vars_through_binders` method in