ryo_executor::engine::impls::inline_trait_caller_scanner

Enum CascadeVerdict

pub enum CascadeVerdict {
    Safe,
    Escapes,
}

Expand description

Result of walk_transitive_callers — whether the cascade from a pub GenericBound caller can be safely rewritten given the in- workspace call graph.

Variants§

§

Safe

Every transitive caller in the workspace eventually terminates at a non-pub leaf (or has no callers and is itself non-pub). The GenericBound rewrite can safely commit.

§

Escapes

At least one transitive caller is a pub fn whose own callers are not visible in the workspace registry — i.e. an external crate may reach it. The GenericBound rewrite must abort for that caller chain to avoid silently breaking the downstream API contract.

CascadeVerdict

Enum CascadeVerdict Copy item path

Variants§

Safe

Escapes

Trait Implementations§

impl Clone for CascadeVerdict

fn clone(&self) -> CascadeVerdict

fn clone_from(&mut self, source: &Self)

impl Copy for CascadeVerdict

impl Debug for CascadeVerdict

fn fmt(&self, f: &mut Formatter<'_>) -> Result

impl Eq for CascadeVerdict

impl PartialEq for CascadeVerdict

fn eq(&self, other: &CascadeVerdict) -> bool

fn ne(&self, other: &Rhs) -> bool

impl StructuralPartialEq for CascadeVerdict

Auto Trait Implementations§

impl Freeze for CascadeVerdict

impl RefUnwindSafe for CascadeVerdict

impl Send for CascadeVerdict

impl Sync for CascadeVerdict

impl Unpin for CascadeVerdict

impl UnsafeUnpin for CascadeVerdict

impl UnwindSafe for CascadeVerdict

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> CloneToUninit for Twhere T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

impl<T> From<T> for T

fn from(t: T) -> T

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self>

fn in_current_span(self) -> Instrumented<Self>

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T> IntoEither for T

fn into_either(self, into_left: bool) -> Either<Self, Self>

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>where F: FnOnce(&Self) -> bool,

impl<T> Pointable for T

const ALIGN: usize

type Init = T

unsafe fn init(init: <T as Pointable>::Init) -> usize

unsafe fn deref<'a>(ptr: usize) -> &'a T

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

unsafe fn drop(ptr: usize)

impl<T> Same for T

type Output = T

impl<T> ToOwned for Twhere T: Clone,

type Owned = T

fn to_owned(&self) -> T

fn clone_into(&self, target: &mut T)

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

impl<T> WithSubscriber for T

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>where S: Into<Dispatch>,

fn with_current_subscriber(self) -> WithDispatch<Self>

Enum CascadeVerdict

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<T> CloneToUninit for T
where T: Clone,

impl<T, U> Into<U> for T
where U: From<T>,

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

impl<T> ToOwned for T
where T: Clone,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,