We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 012262c commit bad80feCopy full SHA for bad80fe
src/librustc/traits/engine.rs
@@ -15,7 +15,7 @@ use hir::def_id::DefId;
15
use super::{FulfillmentContext, FulfillmentError};
16
use super::{ObligationCause, PendingPredicateObligation, PredicateObligation};
17
18
-pub trait TraitEngine<'tcx> {
+pub trait TraitEngine<'tcx>: 'tcx {
19
fn normalize_projection_type<'a, 'gcx>(
20
&mut self,
21
infcx: &InferCtxt<'a, 'gcx, 'tcx>,
@@ -52,7 +52,7 @@ pub trait TraitEngine<'tcx> {
52
fn pending_obligations(&self) -> Vec<PendingPredicateObligation<'tcx>>;
53
}
54
55
-impl<'a, 'gcx, 'tcx> TraitEngine<'tcx> + 'tcx {
+impl<'a, 'gcx, 'tcx> dyn TraitEngine<'tcx> {
56
pub fn new(_tcx: TyCtxt<'_, '_, 'tcx>) -> Box<Self> {
57
Box::new(FulfillmentContext::new())
58
0 commit comments