{"ast_node_type":"other","tokens":[{"end":37,"kind":"keyword","start":0,"text":"_outer_binder:"}]}
        _outer_binder: DebruijnIndex,
        idx: chalk_ir::PlaceholderIndex,
    ) -> std::result::Result<Ty, Self::Error> {