Struct chalk_recursive::fixed_point::stack::StackEntry
source · pub(super) struct StackEntry {
coinductive_goal: bool,
cycle: bool,
}
Expand description
The data we actively keep for each goal on the stack.
Fields§
§coinductive_goal: bool
Was this a coinductive goal?
cycle: bool
Initially false, set to true when some subgoal depends on us.
Implementations§
source§impl StackEntry
impl StackEntry
pub(super) fn flag_cycle(&mut self)
pub(super) fn read_and_reset_cycle_flag(&mut self) -> bool
Auto Trait Implementations§
impl Freeze for StackEntry
impl RefUnwindSafe for StackEntry
impl Send for StackEntry
impl Sync for StackEntry
impl Unpin for StackEntry
impl UnwindSafe for StackEntry
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more