diff options
| author | Boxy <supbscripter@gmail.com> | 2024-06-03 02:34:35 +0100 |
|---|---|---|
| committer | Boxy <supbscripter@gmail.com> | 2024-06-05 22:25:41 +0100 |
| commit | a9702a66684f0e1f412d92a83761be2e461b69fb (patch) | |
| tree | a0996c6eb298ce6f655671c36517f7dd44e501c4 /compiler/rustc_trait_selection/src/solve/mod.rs | |
| parent | 58feec9b85a18d26507dfe6d075fd128a1265888 (diff) | |
| download | rust-a9702a66684f0e1f412d92a83761be2e461b69fb.tar.gz rust-a9702a66684f0e1f412d92a83761be2e461b69fb.zip | |
Add `Ty` to `ConstKind::Value`
Diffstat (limited to 'compiler/rustc_trait_selection/src/solve/mod.rs')
| -rw-r--r-- | compiler/rustc_trait_selection/src/solve/mod.rs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/compiler/rustc_trait_selection/src/solve/mod.rs b/compiler/rustc_trait_selection/src/solve/mod.rs index be5b36c5c8a..effbd94c336 100644 --- a/compiler/rustc_trait_selection/src/solve/mod.rs +++ b/compiler/rustc_trait_selection/src/solve/mod.rs @@ -178,7 +178,9 @@ impl<'a, 'tcx> EvalCtxt<'a, InferCtxt<'tcx>> { ty::ConstKind::Infer(_) => { self.evaluate_added_goals_and_make_canonical_response(Certainty::AMBIGUOUS) } - ty::ConstKind::Placeholder(_) | ty::ConstKind::Value(_) | ty::ConstKind::Error(_) => { + ty::ConstKind::Placeholder(_) + | ty::ConstKind::Value(_, _) + | ty::ConstKind::Error(_) => { self.evaluate_added_goals_and_make_canonical_response(Certainty::Yes) } // We can freely ICE here as: |