about summary refs log tree commit diff
path: root/src/librustc_resolve
diff options
context:
space:
mode:
authorVadim Petrochenkov <vadim.petrochenkov@gmail.com>2018-09-08 02:50:57 +0300
committerVadim Petrochenkov <vadim.petrochenkov@gmail.com>2018-09-08 14:15:11 +0300
commit9beb5c3ef3062226783529f626fb8c4a7eb7f936 (patch)
tree726b9dc48f14f5ed6e1af70b3917d480c13a230e /src/librustc_resolve
parentae2e5aa1c7a926d663d9bc7ef46d1c0ffdc71e77 (diff)
downloadrust-9beb5c3ef3062226783529f626fb8c4a7eb7f936.tar.gz
rust-9beb5c3ef3062226783529f626fb8c4a7eb7f936.zip
Add checks for expected macro output in restricted shadowing tests
Diffstat (limited to 'src/librustc_resolve')
-rw-r--r--src/librustc_resolve/lib.rs2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/librustc_resolve/lib.rs b/src/librustc_resolve/lib.rs
index b690f305f16..6c9a924081a 100644
--- a/src/librustc_resolve/lib.rs
+++ b/src/librustc_resolve/lib.rs
@@ -1274,6 +1274,8 @@ impl<'a> NameBinding<'a> {
     // expansion round `max(invoc_id, binding)` when they both emerged from macros.
     // Then this function returns `true` if `self` may emerge from a macro *after* that
     // in some later round and screw up our previously found resolution.
+    // See more detailed explanation in
+    // https://github.com/rust-lang/rust/pull/53778#issuecomment-419224049
     fn may_appear_after(&self, invoc_id: Mark, binding: &NameBinding) -> bool {
         // self > max(invoc_id, binding) => !(self <= invoc_id || self <= binding)
         // Expansions are partially ordered, so "may appear after" is an inversion of