diff options
| author | Vadim Petrochenkov <vadim.petrochenkov@gmail.com> | 2018-09-08 02:50:57 +0300 |
|---|---|---|
| committer | Vadim Petrochenkov <vadim.petrochenkov@gmail.com> | 2018-09-08 14:15:11 +0300 |
| commit | 9beb5c3ef3062226783529f626fb8c4a7eb7f936 (patch) | |
| tree | 726b9dc48f14f5ed6e1af70b3917d480c13a230e /src/librustc_resolve | |
| parent | ae2e5aa1c7a926d663d9bc7ef46d1c0ffdc71e77 (diff) | |
| download | rust-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.rs | 2 |
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 |
