Struct OutputDecl

Source

pub struct OutputDecl {
    pub func: Ident,
    pub sel: DeconSel,
    pub target: DeconTarget,
    pub delivery: Delivery,
    pub declared_source: Option<TypeKey>,
}

Expand description

A per-fn output expansion (.expand_return(expand_return!(T)…)) — decompose func’s return (or error position) via the record list. Recorded as an explicit decl so the auto-default skips it; an identity-only record list lowers to the raw whole-value return at resolution.

Fields§

§func: Ident§sel: DeconSel§target: DeconTarget§delivery: Delivery§declared_source: Option<TypeKey>

The type the per-fn decl was declared for (expand_return!(T)) — cross-checked against the fn’s peeled return type at resolution. None for internally-synthesized decls (the type comes from the return itself).

OutputDecl

Struct OutputDecl Copy item path

Fields§

Trait Implementations§

impl Clone for OutputDecl

fn clone(&self) -> OutputDecl

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

Auto Trait Implementations§

impl !Send for OutputDecl

impl !Sync for OutputDecl

impl Freeze for OutputDecl

impl RefUnwindSafe for OutputDecl

impl Unpin for OutputDecl

impl UnsafeUnpin for OutputDecl

impl UnwindSafe for OutputDecl

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, 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> 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>

Struct OutputDecl

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>,