1
Fork 0

Reformat everything

This commit is contained in:
Deadbeef 2021-11-29 21:12:53 +08:00
parent fdf5322169
commit 8710a2e169
No known key found for this signature in database
GPG key ID: 6D017A96D8E6C2F9
6 changed files with 11 additions and 20 deletions

View file

@ -47,10 +47,8 @@ pub trait TraitEngine<'tcx>: 'tcx {
fn select_all_or_error(&mut self, infcx: &InferCtxt<'_, 'tcx>) -> Vec<FulfillmentError<'tcx>>;
fn select_where_possible(
&mut self,
infcx: &InferCtxt<'_, 'tcx>,
) -> Vec<FulfillmentError<'tcx>>;
fn select_where_possible(&mut self, infcx: &InferCtxt<'_, 'tcx>)
-> Vec<FulfillmentError<'tcx>>;
fn pending_obligations(&self) -> Vec<PredicateObligation<'tcx>>;