Enum IfaceTy 

pub enum IfaceTy {
    SelfType,
    Concrete(Type),
}

A type slot inside an interface method signature (ADR-0060).

Interface signatures may mention Self — the type that conforms to the interface — in parameter or return position. IfaceTy carries that distinction so check_conforms can substitute the candidate’s concrete type at compare time. Concrete (non-Self) slots are resolved during validate_interface_decls via the regular resolve_type path.

Variants

SelfType

Self — substituted with the candidate type at conformance time.

Concrete(Type)

A concrete type resolved against the surrounding scope.

Implementations

impl IfaceTy

pub fn substitute_self(&self, candidate: Type) -> Type

Substitute Self with the supplied candidate type, leaving concrete slots unchanged.

pub fn is_self(&self) -> bool

Returns true if this slot is Self.

Trait Implementations

impl Clone for IfaceTy

fn clone(&self) -> IfaceTy

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IfaceTy

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for IfaceTy

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for IfaceTy

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

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for IfaceTy

impl StructuralPartialEq for IfaceTy