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