dont skip const evalautable of non unevaluateds

1 files changed, 1 insertions, 6 deletions

diff --git a/compiler/rustc_trait_selection/src/traits/const_evaluatable.rs b/compiler/rustc_trait_selection/src/traits/const_evaluatable.rs
index a2f82841e40..42d50b68c6d 100644
--- a/compiler/rustc_trait_selection/src/traits/const_evaluatable.rs
+++ b/compiler/rustc_trait_selection/src/traits/const_evaluatable.rs
@@ -157,12 +157,7 @@ fn satisfied_from_param_env<'tcx>(
     for pred in param_env.caller_bounds() {
         match pred.kind().skip_binder() {
             ty::PredicateKind::ConstEvaluatable(ce) => {
-                let ty::ConstKind::Unevaluated(_) = ce.kind() else {
-                    continue
-                };
-                let Some(b_ct) = tcx.expand_abstract_consts(ce)? else {
-                    continue
-                };
+                let b_ct = tcx.expand_abstract_consts(ce)?.unwrap_or(ce);
 
                 let mut v = Visitor { ct, infcx, param_env };
                 let result = b_ct.visit_with(&mut v);