diff options
| author | Joshua Nelson <jnelson@cloudflare.com> | 2022-09-19 20:57:37 -0500 |
|---|---|---|
| committer | Joshua Nelson <jnelson@cloudflare.com> | 2022-09-19 22:14:39 -0500 |
| commit | 749dec64519b5bdfe688cb945eeee5afd6ab68d0 (patch) | |
| tree | 82b1406741efd312ccfda0a29fe6236764ae2a5b /compiler/rustc_trait_selection/src | |
| parent | 5922d6cf60169ad0fd792581c9da11bd633533da (diff) | |
| download | rust-749dec64519b5bdfe688cb945eeee5afd6ab68d0.tar.gz rust-749dec64519b5bdfe688cb945eeee5afd6ab68d0.zip | |
Make `OUT` an associated type instead of a generic parameter
This avoids toil when changing other functions in `ObligationForest` to take an `OUT` parameter.
Diffstat (limited to 'compiler/rustc_trait_selection/src')
| -rw-r--r-- | compiler/rustc_trait_selection/src/traits/fulfill.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/rustc_trait_selection/src/traits/fulfill.rs b/compiler/rustc_trait_selection/src/traits/fulfill.rs index 3763a98c488..0ea2b6ce885 100644 --- a/compiler/rustc_trait_selection/src/traits/fulfill.rs +++ b/compiler/rustc_trait_selection/src/traits/fulfill.rs @@ -224,6 +224,7 @@ fn mk_pending(os: Vec<PredicateObligation<'_>>) -> Vec<PendingPredicateObligatio impl<'a, 'b, 'tcx> ObligationProcessor for FulfillProcessor<'a, 'b, 'tcx> { type Obligation = PendingPredicateObligation<'tcx>; type Error = FulfillmentErrorCode<'tcx>; + type OUT = Outcome<Self::Obligation, Self::Error>; /// Identifies whether a predicate obligation needs processing. /// |