pub enum CycleDetection {
Static,
Runtime,
}Expand description
How statically-cyclic SCCs are treated at evaluation time.
Variants§
Static
Today’s behavior: every static SCC is stamped #CIRC!. Compat escape
hatch; no live-edge machinery runs.
Runtime
Static SCCs are candidates; members are evaluated with live-edge recording and only live cycles get the policy verdict. Phantom (live-acyclic) SCCs produce ordinary values (discussion #99).
Trait Implementations§
Source§impl Clone for CycleDetection
impl Clone for CycleDetection
Source§fn clone(&self) -> CycleDetection
fn clone(&self) -> CycleDetection
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreimpl Copy for CycleDetection
Source§impl Debug for CycleDetection
impl Debug for CycleDetection
Source§impl Default for CycleDetection
impl Default for CycleDetection
Source§fn default() -> CycleDetection
fn default() -> CycleDetection
Returns the “default value” for a type. Read more
impl Eq for CycleDetection
Source§impl PartialEq for CycleDetection
impl PartialEq for CycleDetection
Source§fn eq(&self, other: &CycleDetection) -> bool
fn eq(&self, other: &CycleDetection) -> bool
Tests for
self and other values to be equal, and is used by ==.impl StructuralPartialEq for CycleDetection
Auto Trait Implementations§
impl Freeze for CycleDetection
impl RefUnwindSafe for CycleDetection
impl Send for CycleDetection
impl Sync for CycleDetection
impl Unpin for CycleDetection
impl UnsafeUnpin for CycleDetection
impl UnwindSafe for CycleDetection
Blanket Implementations§
impl<T> Allocation for T
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
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more