// generic so we don't have to do anything quite this
// terrible.
let trace = TypeTrace::dummy(self.tcx);
- self.equate(true, trace, a, b).map(|InferOk { obligations, .. }| {
- // FIXME(#32730) propagate obligations
- assert!(obligations.is_empty());
+ self.equate(true, trace, a, b).map(|InferOk { obligations: _, .. }| {
+ // We can intentionally ignore obligations here, since
+ // this is part of a simple test for general
+ // "equatability". However, it's not entirely clear
+ // that we *ought* to be, perhaps a better thing would
+ // be to use a mini-fulfillment context or something
+ // like that.
})
})
}
});
}
+ pub fn register_predicate_obligations(&mut self,
+ infcx: &InferCtxt<'a, 'gcx, 'tcx>,
+ obligations: Vec<PredicateObligation<'tcx>>)
+ {
+ for obligation in obligations {
+ self.register_predicate_obligation(infcx, obligation);
+ }
+ }
+
+
pub fn region_obligations(&self,
body_id: ast::NodeId)
-> &[RegionObligation<'tcx>]
-> Result<&'tcx Substs<'tcx>, ()> {
let selcx = &mut SelectionContext::new(&infcx);
let target_substs = infcx.fresh_substs_for_item(DUMMY_SP, target_impl);
- let (target_trait_ref, obligations) = impl_trait_ref_and_oblig(selcx,
+ let (target_trait_ref, mut obligations) = impl_trait_ref_and_oblig(selcx,
target_impl,
target_substs);
&ObligationCause::dummy(),
source_trait_ref,
target_trait_ref) {
- Ok(InferOk { obligations, .. }) => {
- // FIXME(#32730) propagate obligations
- assert!(obligations.is_empty())
+ Ok(InferOk { obligations: o, .. }) => {
+ obligations.extend(o);
}
Err(_) => {
debug!("fulfill_implication: {:?} does not unify with {:?}",
pub fn check_sub(&self, t1: Ty<'tcx>, t2: Ty<'tcx>) {
match self.sub(t1, t2) {
Ok(InferOk { obligations, .. }) => {
- // FIXME(#32730) once obligations are being propagated, assert the right thing.
+ // None of these tests should require nested obligations:
assert!(obligations.is_empty());
}
Err(ref e) => {
pub fn check_lub(&self, t1: Ty<'tcx>, t2: Ty<'tcx>, t_lub: Ty<'tcx>) {
match self.lub(t1, t2) {
Ok(InferOk { obligations, value: t }) => {
- // FIXME(#32730) once obligations are being propagated, assert the right thing.
+ // None of these tests should require nested obligations:
assert!(obligations.is_empty());
self.assert_eq(t, t_lub);
match self.glb(t1, t2) {
Err(e) => panic!("unexpected error computing LUB: {:?}", e),
Ok(InferOk { obligations, value: t }) => {
- // FIXME(#32730) once obligations are being propagated, assert the right thing.
+ // None of these tests should require nested obligations:
assert!(obligations.is_empty());
self.assert_eq(t, t_glb);
debug!("compare_impl_method: trait_fty={:?}", trait_fty);
let sub_result = infcx.sub_types(false, &cause, impl_fty, trait_fty)
- .map(|InferOk { obligations, .. }| {
- // FIXME(#32730) propagate obligations
- assert!(obligations.is_empty());
- });
+ .map(|InferOk { obligations, .. }| {
+ inh.register_predicates(obligations);
+ });
if let Err(terr) = sub_result {
debug!("sub_types failed: impl ty {:?}, trait ty {:?}",
// check that the impl type can be made to match the trait type.
let impl_param_env = ty::ParameterEnvironment::for_item(tcx, self_type_node_id);
- tcx.infer_ctxt(impl_param_env, Reveal::UserFacing).enter(|infcx| {
+ tcx.infer_ctxt(impl_param_env, Reveal::UserFacing).enter(|ref infcx| {
let tcx = infcx.tcx;
let mut fulfillment_cx = traits::FulfillmentContext::new();
let cause = &ObligationCause::misc(drop_impl_span, drop_impl_node_id);
match infcx.eq_types(true, cause, named_type, fresh_impl_self_ty) {
Ok(InferOk { obligations, .. }) => {
- // FIXME(#32730) propagate obligations
- assert!(obligations.is_empty());
+ fulfillment_cx.register_predicate_obligations(infcx, obligations);
}
Err(_) => {
let item_span = tcx.hir.span(self_type_node_id);
use rustc::ty::subst::Substs;
use rustc::ty::{self, Ty, TyCtxt};
use rustc::ty::maps::Providers;
-use rustc::traits::{ObligationCause, ObligationCauseCode, Reveal};
+use rustc::traits::{FulfillmentContext, ObligationCause, ObligationCauseCode, Reveal};
use session::config;
use util::common::time;
expected: Ty<'tcx>,
actual: Ty<'tcx>)
-> bool {
- tcx.infer_ctxt((), Reveal::UserFacing).enter(|infcx| {
+ tcx.infer_ctxt((), Reveal::UserFacing).enter(|ref infcx| {
+ let mut fulfill_cx = FulfillmentContext::new();
match infcx.eq_types(false, &cause, expected, actual) {
Ok(InferOk { obligations, .. }) => {
- // FIXME(#32730) propagate obligations
- assert!(obligations.is_empty());
- true
+ fulfill_cx.register_predicate_obligations(infcx, obligations);
}
Err(err) => {
infcx.report_mismatched_types(cause, expected, actual, err).emit();
+ return false;
+ }
+ }
+
+ match fulfill_cx.select_all_or_error(infcx) {
+ Ok(()) => true,
+ Err(errors) => {
+ infcx.report_fulfillment_errors(&errors);
false
}
}