drop_tracking_mir: support new solver.

This commit is contained in:
Camille GILLOT 2023-01-28 22:46:46 +00:00
parent 135db79bc8
commit fba5d3dd03

View file

@ -149,6 +149,6 @@ fn drain_unstalled_obligations(
&mut self,
_: &InferCtxt<'tcx>,
) -> Vec<PredicateObligation<'tcx>> {
unimplemented!()
std::mem::take(&mut self.obligations)
}
}