{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":")"}]}
                ) -> Result<chalk_ir::Const<Interner>, Self::Error> {
                    outer_binder: DebruijnIndex,
                    let x = from_placeholder_idx(self.db, idx);