Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'crates/hir-ty/src/next_solver/fulfill.rs')
-rw-r--r--crates/hir-ty/src/next_solver/fulfill.rs4
1 files changed, 2 insertions, 2 deletions
diff --git a/crates/hir-ty/src/next_solver/fulfill.rs b/crates/hir-ty/src/next_solver/fulfill.rs
index a8183ab422..34dff37972 100644
--- a/crates/hir-ty/src/next_solver/fulfill.rs
+++ b/crates/hir-ty/src/next_solver/fulfill.rs
@@ -182,7 +182,7 @@ impl<'db> FulfillmentCtxt<'db> {
if let Some(certainty) = delegate.compute_goal_fast_path(goal, Span::dummy()) {
match certainty {
Certainty::Yes => {}
- Certainty::Maybe(_) => {
+ Certainty::Maybe { .. } => {
self.obligations.register(obligation, None);
}
}
@@ -211,7 +211,7 @@ impl<'db> FulfillmentCtxt<'db> {
match certainty {
Certainty::Yes => {}
- Certainty::Maybe(_) => self.obligations.register(obligation, stalled_on),
+ Certainty::Maybe { .. } => self.obligations.register(obligation, stalled_on),
}
}