Trait cl_typeck::project::evaluate::EvaluableTypeExpression

pub trait EvaluableTypeExpression {
    type Out;

    // Required method
    fn evaluate(
        &self,
        prj: &mut Project<'_>,
        parent: DefID
    ) -> Result<Self::Out, String>;
}

Things that can be evaluated as a type expression

Required Associated Types

type Out

The result of type expression evaluation

Required Methods

fn evaluate( &self, prj: &mut Project<'_>, parent: DefID ) -> Result<Self::Out, String>

Implementations on Foreign Types

impl EvaluableTypeExpression for PathPart

type Out = DefID

fn evaluate( &self, prj: &mut Project<'_>, parent: DefID ) -> Result<Self::Out, String>

impl EvaluableTypeExpression for TyKind

type Out = DefID

fn evaluate( &self, prj: &mut Project<'_>, parent: DefID ) -> Result<DefID, String>

impl EvaluableTypeExpression for Path

type Out = DefID

fn evaluate( &self, prj: &mut Project<'_>, parent: DefID ) -> Result<Self::Out, String>

impl EvaluableTypeExpression for Ty

type Out = DefID

fn evaluate(&self, prj: &mut Project<'_>, id: DefID) -> Result<DefID, String>

impl EvaluableTypeExpression for TyFn

type Out = DefID

fn evaluate( &self, prj: &mut Project<'_>, parent: DefID ) -> Result<DefID, String>

impl EvaluableTypeExpression for TyRef

type Out = DefID

fn evaluate( &self, prj: &mut Project<'_>, parent: DefID ) -> Result<DefID, String>

impl EvaluableTypeExpression for TyTuple

type Out = DefID

fn evaluate( &self, prj: &mut Project<'_>, parent: DefID ) -> Result<DefID, String>

impl EvaluableTypeExpression for Sym

type Out = DefID

fn evaluate( &self, prj: &mut Project<'_>, parent: DefID ) -> Result<Self::Out, String>

impl<T: EvaluableTypeExpression> EvaluableTypeExpression for Option<T>

type Out = Option<<T as EvaluableTypeExpression>::Out>

fn evaluate( &self, prj: &mut Project<'_>, parent: DefID ) -> Result<Self::Out, String>

impl<T: EvaluableTypeExpression> EvaluableTypeExpression for [T]

type Out = Vec<<T as EvaluableTypeExpression>::Out>

fn evaluate( &self, prj: &mut Project<'_>, parent: DefID ) -> Result<Self::Out, String>

impl<T: EvaluableTypeExpression> EvaluableTypeExpression for Box<T>

type Out = <T as EvaluableTypeExpression>::Out

fn evaluate( &self, prj: &mut Project<'_>, parent: DefID ) -> Result<Self::Out, String>

Implementors

impl<'a> EvaluableTypeExpression for cl_typeck::path::Path<'a>

type Out = DefID