Mirrors/rust
1
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2026-05-16 21:15:18 +03:00
Code Issues Packages Projects Releases Wiki Activity

replace awkward wording

Browse Source
This commit is contained in:
Tshepang Mbambo
2026-05-08 18:16:31 +02:00
parent 22066538aa
commit 1eb7b460da
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/doc/rustc-dev-guide/src/unsafety-checking.md
+2 -2
View File
@@ -19,8 +19,8 @@ THIR is chosen because there are
fewer cases to consider than in HIR, for example unsafe function calls and
unsafe method calls have the same representation in THIR.
The check is not done on MIR because safety checks do not depend on control flow,
so MIR is not necessary to use,
and MIR doesn't have as precise spans for some expressions.
so there is no need to use MIR.
Also, MIR doesn't have precise enough spans for some expressions.
Most unsafe operations can be identified by checking the `ExprKind` in THIR and
checking the type of the argument.