mirror
/
rustc-dev-guide
mirror of https://github.com/rust-lang/rustc-dev-guide.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fix rib example 

related zulip thread: https://rust-lang.zulipchat.com/#narrow/channel/182449-t-compiler.2Fhelp/topic/Ribs.20in.20name.20resolution
This commit is contained in:
Samson 2025-01-07 21:29:45 +01:00 committed by GitHub
parent 0fd52366ca
commit 8789c2cf9b
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/name-resolution.md
View File

@ -120,9 +120,9 @@ even though they should be visible by ordinary scoping rules. An example:
fn do_something<T: Default>(val: T) { // <- New rib in both types and values (1) fn do_something<T: Default>(val: T) { // <- New rib in both types and values (1)
// `val` is accessible, as is the helper function // `val` is accessible, as is the helper function
// `T` is accessible // `T` is accessible
let helper = || { // New rib on `helper` (2) and another on the block (3) let helper = || { // New rib on the block (2)
// `val` is accessible here // `val` is accessible here
}; // End of (3) }; // End of (2), new rib on `helper` (3)
// `val` is accessible, `helper` variable shadows `helper` function // `val` is accessible, `helper` variable shadows `helper` function
fn helper() { // <- New rib in both types and values (4) fn helper() { // <- New rib in both types and values (4)
// `val` is not accessible here, (4) is not transparent for locals // `val` is not accessible here, (4) is not transparent for locals
@ -130,7 +130,7 @@ fn do_something<T: Default>(val: T) { // <- New rib in both types and values (1)
} // End of (4) } // End of (4)
let val = T::default(); // New rib (5) let val = T::default(); // New rib (5)
// `val` is the variable, not the parameter here // `val` is the variable, not the parameter here
} // End of (5), (2) and (1) } // End of (5), (3) and (1)
``` ```
Because the rules for different namespaces are a bit different, each namespace Because the rules for different namespaces are a bit different, each namespace