{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":"in_binders:"}]}
    in_binders: DebruijnIndex,
    generics: OnceCell<Generics>,
    /// Note: Conceptually, it's thinkable that we could be in a location where