Struct rustc_mir_build::build::matches::Ascription

struct Ascription<'tcx> {
    span: Span,
    source: Place<'tcx>,
    user_ty: PatTyProj<'tcx>,
    variance: Variance,
}

Indicates that the type of source must be a subtype of the user-given type user_ty; this is basically a no-op but can influence region inference.

Fields

span: Span

source: Place<'tcx>

user_ty: PatTyProj<'tcx>

variance: Variance

Trait Implementations

impl<'tcx> Clone for Ascription<'tcx>

fn clone(&self) -> Ascription<'tcx>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for Ascription<'tcx>

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

Formats the value using the given formatter.