spade_typeinference::mir_type_lowering

Trait HasConcreteType

pub trait HasConcreteType {
    // Required method
    fn into_typed_expression(&self) -> Loc<TypedExpression>;
}

Required Methods§

fn into_typed_expression(&self) -> Loc<TypedExpression>

Implementations on Foreign Types§

impl HasConcreteType for Loc<ConstGenericWithId>

fn into_typed_expression(&self) -> Loc<TypedExpression>

impl HasConcreteType for Loc<ExprID>

fn into_typed_expression(&self) -> Loc<TypedExpression>

impl HasConcreteType for Loc<Expression>

fn into_typed_expression(&self) -> Loc<TypedExpression>

impl HasConcreteType for Loc<NameID>

fn into_typed_expression(&self) -> Loc<TypedExpression>

impl HasConcreteType for Loc<Pattern>

fn into_typed_expression(&self) -> Loc<TypedExpression>

impl<T> HasConcreteType for &T
where T: HasConcreteType,

fn into_typed_expression(&self) -> Loc<TypedExpression>

impl<T> HasConcreteType for &mut T
where T: HasConcreteType,

fn into_typed_expression(&self) -> Loc<TypedExpression>

impl<T> HasConcreteType for Box<T>
where T: HasConcreteType,

fn into_typed_expression(&self) -> Loc<TypedExpression>

Implementors§