pub struct FunctionSignature {
pub name: Name,
pub generic_params: Arc<GenericParams>,
pub store: Arc<ExpressionStore>,
pub params: Box<[TypeRefId]>,
pub ret_type: Option<TypeRefId>,
pub abi: Option<Symbol>,
pub flags: FnFlags,
pub legacy_const_generics_indices: Option<Box<Box<[u32]>>>,
}
Fields§
§name: Name
§generic_params: Arc<GenericParams>
§store: Arc<ExpressionStore>
§params: Box<[TypeRefId]>
§ret_type: Option<TypeRefId>
§abi: Option<Symbol>
§flags: FnFlags
§legacy_const_generics_indices: Option<Box<Box<[u32]>>>
Implementations§
Source§impl FunctionSignature
impl FunctionSignature
pub fn query( db: &dyn DefDatabase, id: FunctionId, ) -> (Arc<Self>, Arc<ExpressionStoreSourceMap>)
pub fn has_body(&self) -> bool
Sourcepub fn has_self_param(&self) -> bool
pub fn has_self_param(&self) -> bool
True if the first param is self
. This is relevant to decide whether this
can be called as a method.
pub fn is_default(&self) -> bool
pub fn is_const(&self) -> bool
pub fn is_async(&self) -> bool
pub fn is_unsafe(&self) -> bool
pub fn is_deprecated_safe_2024(&self) -> bool
pub fn is_safe(&self) -> bool
pub fn is_varargs(&self) -> bool
pub fn has_target_feature(&self) -> bool
Trait Implementations§
Source§impl Debug for FunctionSignature
impl Debug for FunctionSignature
Source§impl PartialEq for FunctionSignature
impl PartialEq for FunctionSignature
impl Eq for FunctionSignature
impl StructuralPartialEq for FunctionSignature
Auto Trait Implementations§
impl Freeze for FunctionSignature
impl !RefUnwindSafe for FunctionSignature
impl Send for FunctionSignature
impl Sync for FunctionSignature
impl Unpin for FunctionSignature
impl !UnwindSafe for FunctionSignature
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
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key
and return true
if they are equal.§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Checks if this value is equivalent to the given key. Read more
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§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