src/librustc_trait_selection/traits/engine.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14

use rustc_middle::ty::TyCtxt;

use super::FulfillmentContext;
use super::TraitEngine;

pub trait TraitEngineExt<'tcx> {
    fn new(tcx: TyCtxt<'tcx>) -> Box<Self>;
}

impl<'tcx> TraitEngineExt<'tcx> for dyn TraitEngine<'tcx> {
    fn new(_tcx: TyCtxt<'tcx>) -> Box<Self> {
        Box::new(FulfillmentContext::new())
    }
}