syntax_data: {"ast_node_type":"other","tokens":[{"end":33,"kind":"keyword","start":0,"text":"bound_vars:"}]}
source_snippet:     bound_vars: I::BoundVarKinds,
context_before: pub struct ValidateBoundVars<I: Interner> {
context_after:     binder_index: ty::DebruijnIndex,