[pull] master from rust-lang:master#112

Merged

pull[bot] merged 7 commits into

Arstman:masterfrom

rust-lang:master

May 6, 2026

Commits on May 6, 2026

Unwrap used

ehuss
authored and
traviscross
committed
Slightly reword the used intro

ehuss
authored and
traviscross
committed
Move used example into an example block

ehuss
authored and
traviscross
committed
Add attribute template rules for used

ehuss
authored and
traviscross
committed
Minor update of `used`

ehuss
authored and
traviscross
committed
Revise `used` attribute text
traviscross
committed
Merge pull request #1905 from ehuss/used
traviscross
authored