From 119882eaa59cfabe2ab62f74ec7c76f7e9b95cb1 Mon Sep 17 00:00:00 2001 From: Douglas Campos Date: Thu, 21 Sep 2017 11:19:52 -0400 Subject: [PATCH] add comment per @nikomatsakis request --- src/librustc/traits/trans/mod.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/librustc/traits/trans/mod.rs b/src/librustc/traits/trans/mod.rs index 06001ecb11b0..947e7117c4ea 100644 --- a/src/librustc/traits/trans/mod.rs +++ b/src/librustc/traits/trans/mod.rs @@ -31,6 +31,7 @@ impl<'a, 'tcx> TyCtxt<'a, 'tcx, 'tcx> { /// (necessarily) resolve all nested obligations on the impl. Note /// that type check should guarantee to us that all nested /// obligations *could be* resolved if we wanted to. + /// Assumes that this is run after the entire crate has been successfully type-checked. pub fn trans_fulfill_obligation(self, span: Span, param_env: ty::ParamEnv<'tcx>,