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

Document runtime static mutation checks

Browse source
This commit is contained in:
Oliver Scherer 2018-11-20 11:11:09 +01:00
parent 7d5b5ff24d
commit f98235ed9d
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/librustc_mir/interpret/machine.rs
View file

@ -89,7 +89,8 @@ pub trait Machine<'a, 'mir, 'tcx>: Sized {
Default +
Clone;
/// The memory kind to use for copied statics -- or None if those are not supported.
/// The memory kind to use for copied statics -- or None if statics should not be mutated
/// and thus any such attempt will cause a `ModifiedStatic` error is raised.
/// Statics are copied under two circumstances: When they are mutated, and when
/// `static_with_default_tag` or `find_foreign_static` (see below) returns an owned allocation
/// that is added to the memory so that the work is not done twice.