fix comments

This commit is contained in:
Ralf Jung 2019-05-28 19:08:14 +02:00
parent 77be06b7ed
commit 6dd9389008
2 changed files with 3 additions and 2 deletions

View file

@ -171,7 +171,8 @@ pub trait Machine<'a, 'mir, 'tcx>: Sized {
/// cache the result. (This relies on `AllocMap::get_or` being able to add the /// cache the result. (This relies on `AllocMap::get_or` being able to add the
/// owned allocation to the map even when the map is shared.) /// owned allocation to the map even when the map is shared.)
/// ///
/// The tag returned must be the same as the one returned by `tag_base_pointer`. /// For static allocations, the tag returned must be the same as the one returned by
/// `tag_static_base_pointer`.
fn tag_allocation<'b>( fn tag_allocation<'b>(
id: AllocId, id: AllocId,
alloc: Cow<'b, Allocation>, alloc: Cow<'b, Allocation>,

View file

@ -326,7 +326,7 @@ impl<'a, 'mir, 'tcx, M: Machine<'a, 'mir, 'tcx>> Memory<'a, 'mir, 'tcx, M> {
/// The resolved ID is never used by the interpreted progrma, it is hidden. /// The resolved ID is never used by the interpreted progrma, it is hidden.
/// The `GlobalAlloc::Memory` branch here is still reachable though; when a static /// The `GlobalAlloc::Memory` branch here is still reachable though; when a static
/// contains a reference to memory that was created during its evaluation (i.e., not to /// contains a reference to memory that was created during its evaluation (i.e., not to
/// another static), those inner references only exist in "resolved" from. /// another static), those inner references only exist in "resolved" form.
fn get_static_alloc( fn get_static_alloc(
id: AllocId, id: AllocId,
tcx: TyCtxtAt<'a, 'tcx, 'tcx>, tcx: TyCtxtAt<'a, 'tcx, 'tcx>,