{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":")"}]}
    ) -> Result<chalk_ir::Const<Interner>, Self::Error> {
        outer_binder: DebruijnIndex,
        let next_ty = normalize(