Struct SpecializedFunction 

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

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

The base function.

args: Arc<[Option<SpecializationArg>]>

Optional const assignments for the arguments.

Implementations

impl SpecializedFunction

pub fn body(&self, db: &dyn LoweringGroup) -> ConcreteFunctionWithBodyId

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

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

Trait Implementations

impl Clone for SpecializedFunction

fn clone(&self) -> SpecializedFunction

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SpecializedFunction

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

Formats the value using the given formatter.

impl<'a> DebugWithDb<dyn LoweringGroup + 'a> for SpecializedFunction

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

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

where Self: Sized + 'me,

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

where Self: Sized + 'me,

impl Hash for SpecializedFunction

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 PartialEq for SpecializedFunction

fn eq(&self, other: &SpecializedFunction) -> 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 Eq for SpecializedFunction

impl StructuralPartialEq for SpecializedFunction