Struct rustc_mir_build::thir::pattern::_match::LiteralExpander

struct LiteralExpander<'tcx> {
    tcx: TyCtxt<'tcx>,
    param_env: ParamEnv<'tcx>,
}

Fields

tcx: TyCtxt<'tcx>

param_env: ParamEnv<'tcx>

Implementations

impl<'tcx> LiteralExpander<'tcx>

fn fold_const_value_deref(
    &mut self,
    val: ConstValue<'tcx>,
    rty: Ty<'tcx>,
    crty: Ty<'tcx>
) -> ConstValue<'tcx>

Derefs val and potentially unsizes the value if crty is an array and rty a slice.

crty and rty can differ because you can use array constants in the presence of slice patterns. So the pattern may end up being a slice, but the constant is an array. We convert the array to a slice in that case.

Trait Implementations

impl<'tcx> PatternFolder<'tcx> for LiteralExpander<'tcx>

fn fold_pattern(&mut self, pat: &Pat<'tcx>) -> Pat<'tcx>

fn fold_pattern_kind(&mut self, kind: &PatKind<'tcx>) -> PatKind<'tcx>