Struct SpecializedFunction 

pub struct SpecializedFunction<'db> {
    pub base: ConcreteFunctionWithBodyId<'db>,
    pub args: Arc<[SpecializationArg<'db>]>,
}

Specialized function

Specialized functions are generated by the compiler some of the function arguments are known at compile time and the resulting specialized function is smaller than the original one.

Specialized functions are identified by the base function and the arguments.

Fields

base: ConcreteFunctionWithBodyId<'db>

The base function.

args: Arc<[SpecializationArg<'db>]>

Optional const assignments for the arguments.

Implementations

impl<'db> SpecializedFunction<'db>

pub fn body(&self, db: &'db dyn Database) -> ConcreteFunctionWithBodyId<'db>

pub fn full_path(&self, db: &dyn Database) -> String

pub fn signature(&self, db: &'db dyn Database) -> Maybe<Signature<'db>>

Trait Implementations

impl<'db> Clone for SpecializedFunction<'db>

fn clone(&self) -> SpecializedFunction<'db>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'db> Debug for SpecializedFunction<'db>

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

Formats the value using the given formatter.

impl<'a> DebugWithDb<'a> for SpecializedFunction<'a>

type Db = dyn Database

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

fn debug<'me>(&'me self, db: &'db Self::Db) -> DebugWith<'me, 'db, Self::Db>

where Self: Sized + 'me,

fn into_debug<'me>(self, db: &'db Self::Db) -> DebugWith<'me, 'db, Self::Db>

where Self: Sized + 'me,

impl<'db> Hash for SpecializedFunction<'db>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<'db> PartialEq for SpecializedFunction<'db>

fn eq(&self, other: &SpecializedFunction<'db>) -> bool

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'db> Eq for SpecializedFunction<'db>

impl<'db> StructuralPartialEq for SpecializedFunction<'db>