Trait AsCoercionSite

pub(crate) trait AsCoercionSite {
    // Required method
    fn as_coercion_site(&self) -> &Expr<'_>;
}

Something that can be converted into an expression to which we can apply a coercion.

Required Methods

fn as_coercion_site(&self) -> &Expr<'_>

Implementations on Foreign Types

impl AsCoercionSite for !

fn as_coercion_site(&self) -> &Expr<'_>

impl AsCoercionSite for Arm<'_>

fn as_coercion_site(&self) -> &Expr<'_>

impl AsCoercionSite for Expr<'_>

fn as_coercion_site(&self) -> &Expr<'_>

impl<'a, T> AsCoercionSite for &'a T

where T: AsCoercionSite,

fn as_coercion_site(&self) -> &Expr<'_>

Implementors