diff options
| -rw-r--r-- | compiler/rustc_middle/src/traits/select.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/rustc_middle/src/traits/select.rs b/compiler/rustc_middle/src/traits/select.rs index 025059fcbcf..854dd215a37 100644 --- a/compiler/rustc_middle/src/traits/select.rs +++ b/compiler/rustc_middle/src/traits/select.rs @@ -174,12 +174,12 @@ pub enum SelectionCandidate<'tcx> { pub enum EvaluationResult { /// Evaluation successful. EvaluatedToOk, + /// Evaluation successful, but there were unevaluated region obligations. + EvaluatedToOkModuloRegions, /// Evaluation successful, but need to rerun because opaque types got /// hidden types assigned without it being known whether the opaque types /// are within their defining scope EvaluatedToOkModuloOpaqueTypes, - /// Evaluation successful, but there were unevaluated region obligations. - EvaluatedToOkModuloRegions, /// Evaluation is known to be ambiguous -- it *might* hold for some /// assignment of inference variables, but it might not. /// |