diff options
| author | Camille GILLOT <gillot.camille@gmail.com> | 2023-01-28 22:46:46 +0000 |
|---|---|---|
| committer | Camille GILLOT <gillot.camille@gmail.com> | 2023-03-05 08:29:35 +0000 |
| commit | fba5d3dd03a0dcb0ed544950bd00f50f85f493ef (patch) | |
| tree | effbb0a5a5c797d3dbddafe4eef4229555f92454 | |
| parent | 135db79bc8f775982f401605e556a532c10252ed (diff) | |
| download | rust-fba5d3dd03a0dcb0ed544950bd00f50f85f493ef.tar.gz rust-fba5d3dd03a0dcb0ed544950bd00f50f85f493ef.zip | |
drop_tracking_mir: support new solver.
| -rw-r--r-- | compiler/rustc_trait_selection/src/solve/fulfill.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_trait_selection/src/solve/fulfill.rs b/compiler/rustc_trait_selection/src/solve/fulfill.rs index a55b984fd63..38120b9760f 100644 --- a/compiler/rustc_trait_selection/src/solve/fulfill.rs +++ b/compiler/rustc_trait_selection/src/solve/fulfill.rs @@ -149,6 +149,6 @@ impl<'tcx> TraitEngine<'tcx> for FulfillmentCtxt<'tcx> { &mut self, _: &InferCtxt<'tcx>, ) -> Vec<PredicateObligation<'tcx>> { - unimplemented!() + std::mem::take(&mut self.obligations) } } |