Enum AnyOverloadSet

pub(super) enum AnyOverloadSet {
    List(List),
    Regular(Regular),
}

An OverloadSet that dynamically dispatches to concrete implementations.

Variants

List(List)

Regular(Regular)

Trait Implementations

impl Clone for AnyOverloadSet

fn clone(&self) -> AnyOverloadSet

Returns a copy of the value.

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

Performs copy-assignment from source.

impl From<List> for AnyOverloadSet

fn from(concrete: List) -> Self

Converts to this type from the input type.

impl From<Regular> for AnyOverloadSet

fn from(concrete: Regular) -> Self

Converts to this type from the input type.

impl OverloadSet for AnyOverloadSet

fn is_empty(&self) -> bool

Return true if self is the empty set of overloads.

fn min_arguments(&self) -> usize

Return the smallest number of arguments in any type rule in the set.

fn max_arguments(&self) -> usize

Return the largest number of arguments in any type rule in the set.

fn arg(&self, i: usize, ty: &TypeInner, types: &UniqueArena<Type>) -> Self

Find the overloads that could accept a given argument.

fn concrete_only(self, types: &UniqueArena<Type>) -> Self

Limit self to overloads whose arguments are all concrete types.

fn most_preferred(&self) -> Rule

Return the most preferred candidate.

fn overload_list(&self, gctx: &GlobalCtx<'_>) -> Vec<Rule>

Return a type rule for each of the overloads in self.

fn allowed_args(&self, i: usize, gctx: &GlobalCtx<'_>) -> Vec<TypeResolution>

Return a list of the types allowed for argument i.

fn for_debug(&self, types: &UniqueArena<Type>) -> impl Debug

Return an object that can be formatted with core::fmt::Debug.