{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"idx:"}]}
        idx: chalk_ir::PlaceholderIndex,
        _ty: chalk_ir::Ty<Interner>,
        _outer_binder: DebruijnIndex,