pub struct FunctionTypeInfo {
pub param_types: Vec<(String, String)>,
pub param_ref_modes: HashMap<String, ParamReferenceMode>,
pub return_type: Option<String>,
}Expand description
Inferred type information for a function’s parameters and return type.
Fields§
§param_types: Vec<(String, String)>Parameter types inferred by the engine: (param_name, type_string). Only includes parameters that lack explicit type annotations.
param_ref_modes: HashMap<String, ParamReferenceMode>Effective pass mode for parameters (explicit and inferred refs).
return_type: Option<String>Return type if inferred (None when the function has an explicit return annotation).
Trait Implementations§
Source§impl Clone for FunctionTypeInfo
impl Clone for FunctionTypeInfo
Source§fn clone(&self) -> FunctionTypeInfo
fn clone(&self) -> FunctionTypeInfo
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreAuto Trait Implementations§
impl Freeze for FunctionTypeInfo
impl RefUnwindSafe for FunctionTypeInfo
impl Send for FunctionTypeInfo
impl Sync for FunctionTypeInfo
impl Unpin for FunctionTypeInfo
impl UnsafeUnpin for FunctionTypeInfo
impl UnwindSafe for FunctionTypeInfo
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
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
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