user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

link to TB doc in unsafe-code-guidelines

Browse source
This commit is contained in:
Johannes Hostert 2025-08-19 14:34:28 +02:00
parent 3248d8658b
commit b4876bf3e2
No known key found for this signature in database
GPG key ID: 0BA6032B5A38D049
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/tools/miri/src/diagnostics.rs
View file

@ -282,7 +282,8 @@ pub fn report_error<'tcx>(
},
TreeBorrowsUb { title: _, details, history } => {
let mut helps = vec![
note!("this indicates a potential bug in the program: it performed an invalid operation, but the Tree Borrows rules it violated are still experimental")
note!("this indicates a potential bug in the program: it performed an invalid operation, but the Tree Borrows rules it violated are still experimental"),
note!("see https://github.com/rust-lang/unsafe-code-guidelines/blob/master/wip/tree-borrows.md for further information"),
];
for m in details {
helps.push(note!("{m}"));