Set !const_evaluatable if ambig. and not inferred

This prevents an ICE due to a value not actually being evaluatable later.

compiler/rustc_trait_selection/src/traits/const_evaluatable.rs

@@ -215,8 +215,7 @@ fn satisfied_from_param_env<'tcx>(
         }
     }
 
-    if let Some(c) = single_match {
+    if let Some(Ok(c)) = single_match {
-        if let Ok(c) = c {
         let is_ok = infcx
             .commit_if_ok(|_| {
                 let ocx = ObligationCtxt::new_in_snapshot(infcx);
@@ -226,7 +225,6 @@ fn satisfied_from_param_env<'tcx>(
             })
             .is_ok();
         assert!(is_ok);
-        }
         return true;
     }
 

src/test/ui/const-generics/ensure_is_evaluatable.rs

@@ -0,0 +1,20 @@
+#![feature(generic_const_exprs)]
+#![allow(incomplete_features)]
+
+fn foo<const N: usize, const M: usize>() -> [(); N+2]
+where
+    [(); N + 1]:,
+    [(); M + 1]:,
+{
+    bar()
+    //~^ ERROR: unconstrained
+}
+
+fn bar<const N: usize>() -> [(); N]
+where
+    [(); N + 1]:,
+{
+    [(); N]
+}
+
+fn main() {}

src/test/ui/const-generics/ensure_is_evaluatable.stderr

@@ -0,0 +1,18 @@
+error: unconstrained generic constant
+  --> $DIR/ensure_is_evaluatable.rs:9:5
+   |
+LL |     bar()
+   |     ^^^
+   |
+   = help: try adding a `where` bound using this expression: `where [(); N + 1]:`
+note: required by a bound in `bar`
+  --> $DIR/ensure_is_evaluatable.rs:15:10
+   |
+LL | fn bar<const N: usize>() -> [(); N]
+   |    --- required by a bound in this
+LL | where
+LL |     [(); N + 1]:,
+   |          ^^^^^ required by this bound in `bar`
+
+error: aborting due to previous error
+