diff options
| author | Douglas Campos <qmx@qmx.me> | 2017-09-21 11:19:52 -0400 |
|---|---|---|
| committer | Douglas Campos <qmx@qmx.me> | 2017-09-25 09:50:37 -0400 |
| commit | 119882eaa59cfabe2ab62f74ec7c76f7e9b95cb1 (patch) | |
| tree | 9577e9937b7e7c0012e9b731504f75f2be97fce1 | |
| parent | c900abf42df64d1724d2a435b9ad5351ecbc3081 (diff) | |
| download | rust-119882eaa59cfabe2ab62f74ec7c76f7e9b95cb1.tar.gz rust-119882eaa59cfabe2ab62f74ec7c76f7e9b95cb1.zip | |
add comment per @nikomatsakis request
| -rw-r--r-- | src/librustc/traits/trans/mod.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/librustc/traits/trans/mod.rs b/src/librustc/traits/trans/mod.rs index 06001ecb11b..947e7117c4e 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>, |