Remove DynStar

Author: nilehmann

crates/flux-middle/src/rty/mod.rs

@@ -1959,7 +1959,7 @@ impl<'tcx> ToRustc<'tcx> for BaseTy {
                     .map(|pred| pred.to_rustc(tcx))
                     .collect_vec();
                 let preds = tcx.mk_poly_existential_predicates(&preds);
-                ty::Ty::new_dynamic(tcx, preds, re.to_rustc(tcx), rustc_middle::ty::DynKind::Dyn)
+                ty::Ty::new_dynamic(tcx, preds, re.to_rustc(tcx))
             }
             BaseTy::Coroutine(def_id, resume_ty, upvars) => {
                 bug!("TODO: Generator {def_id:?} {resume_ty:?} {upvars:?}")

crates/flux-rustc-bridge/src/lowering.rs

@@ -896,7 +896,7 @@ impl<'tcx> Lower<'tcx> for rustc_ty::Ty<'tcx> {
                 let args = args.lower(tcx)?;
                 Ok(Ty::mk_generator_witness(*did, args))
             }
-            rustc_ty::Dynamic(predicates, region, rustc_ty::DynKind::Dyn) => {
+            rustc_ty::Dynamic(predicates, region) => {
                 let region = region.lower(tcx)?;
 
                 let exi_preds = List::from_vec(

crates/flux-rustc-bridge/src/ty/mod.rs

@@ -963,7 +963,7 @@ impl<'tcx> ToRustc<'tcx> for Ty {
                     .collect_vec();
 
                 let preds = tcx.mk_poly_existential_predicates(&preds);
-                rustc_ty::Ty::new_dynamic(tcx, preds, re.to_rustc(tcx), rustc_ty::DynKind::Dyn)
+                rustc_ty::Ty::new_dynamic(tcx, preds, re.to_rustc(tcx))
             }
             TyKind::Coroutine(_, _) | TyKind::CoroutineWitness(_, _) => {
                 bug!("TODO: to_rustc for `{self:?}`")