X-Git-Url: https://git.lizzy.rs/?a=blobdiff_plain;f=compiler%2Frustc_middle%2Fsrc%2Ftraits%2Fmod.rs;h=3e6a6b3ba4222f699177b2288bdad0fccc3cc1e3;hb=fba0d04d306462b25f7768b39756e7f82fc92318;hp=33ddc4f954a28b4a707ee13e028aff66bea25f50;hpb=60b9f3130d1e41cf6c53ea8159ac44457ea8fe04;p=rust.git diff --git a/compiler/rustc_middle/src/traits/mod.rs b/compiler/rustc_middle/src/traits/mod.rs index 33ddc4f954a..3e6a6b3ba42 100644 --- a/compiler/rustc_middle/src/traits/mod.rs +++ b/compiler/rustc_middle/src/traits/mod.rs @@ -101,7 +101,7 @@ fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result { } } -impl Deref for ObligationCause<'tcx> { +impl<'tcx> Deref for ObligationCause<'tcx> { type Target = ObligationCauseData<'tcx>; #[inline(always)] @@ -348,6 +348,12 @@ pub enum ObligationCauseCode<'tcx> { /// If `X` is the concrete type of an opaque type `impl Y`, then `X` must implement `Y` OpaqueType, + AwaitableExpr(Option), + + ForLoopIterator, + + QuestionMark, + /// Well-formed checking. If a `WellFormedLoc` is provided, /// then it will be used to eprform HIR-based wf checking /// after an error occurs, in order to generate a more precise error span.