pub fn new() -> FulfillmentContext<'tcx> {
        FulfillmentContext {
            predicates: ObligationForest::new(),
            register_region_obligations: true
        }
    }
/// Creates a new fulfillment context.
Creates a new fulfillment context.
Creates a new fulfillment context .
pub fn new() -> FulfillmentContext<'tcx> {
        FulfillmentContext {
            predicates: ObligationForest::new(),
            register_region_obligations: true
        }
    }
pub fn new ( ) -> FulfillmentContext < ' tcx > { FulfillmentContext { predicates : ObligationForest :: new ( ) , register_region_obligations : true } }
Creates a new fulfillment context.
Creates a new fulfillment context .