polish: some basic cleaning
This commit is contained in:
1 parent
e6c6bbdc1e
commit
f746793890
1 file changed
+2
-4
@@ -9,9 +9,9 @@ use std::{
|
|||||||
|
|
||||||
use crate::innerlude::*;
|
use crate::innerlude::*;
|
||||||
|
|
||||||
pub type FcSlot = *const ();
|
pub(crate) type FcSlot = *const ();
|
||||||
|
|
||||||
pub struct Heuristic {
|
pub(crate) struct Heuristic {
|
||||||
hook_arena_size: usize,
|
hook_arena_size: usize,
|
||||||
node_arena_size: usize,
|
node_arena_size: usize,
|
||||||
}
|
}
|
||||||
@@ -196,8 +196,6 @@ impl ScopeArena {
|
|||||||
pub fn try_remove(&self, id: &ScopeId) -> Option<()> {
|
pub fn try_remove(&self, id: &ScopeId) -> Option<()> {
|
||||||
self.ensure_drop_safety(id);
|
self.ensure_drop_safety(id);
|
||||||
|
|
||||||
// log::debug!("removing scope {:?}", id);
|
|
||||||
|
|
||||||
// Safety:
|
// Safety:
|
||||||
// - ensure_drop_safety ensures that no references to this scope are in use
|
// - ensure_drop_safety ensures that no references to this scope are in use
|
||||||
// - this raw pointer is removed from the map
|
// - this raw pointer is removed from the map
|
||||||
|
|||||||
Reference in new issue
Block a user