X-Git-Url: https://git.lizzy.rs/?a=blobdiff_plain;f=src%2Flibrustc%2Ftraits%2Ffulfill.rs;h=b0b6994945c5f21a4a4df54e74567ae03057d337;hb=e180d36d49ef7a14196bddd9b8741eb36d689277;hp=614375287ba6effd4d89777ede2395984cefb6ed;hpb=67c0f4e2c947cf87f330224d6b764d2777cc8b59;p=rust.git diff --git a/src/librustc/traits/fulfill.rs b/src/librustc/traits/fulfill.rs index 614375287ba..b0b6994945c 100644 --- a/src/librustc/traits/fulfill.rs +++ b/src/librustc/traits/fulfill.rs @@ -9,6 +9,7 @@ use super::engine::{TraitEngine, TraitEngineExt}; use super::project; use super::select::SelectionContext; +use super::wf; use super::CodeAmbiguity; use super::CodeProjectionError; use super::CodeSelectionError; @@ -461,7 +462,7 @@ fn infer_ty(ty: Ty<'tcx>) -> ty::InferTy { } ty::Predicate::WellFormed(ty) => { - match ty::wf::obligations( + match wf::obligations( self.selcx.infcx(), obligation.param_env, obligation.cause.body_id,