Trait rustc_const_eval::interpret::place::Writeable
source · pub trait Writeable<'tcx, Prov: Provenance>: Projectable<'tcx, Prov> {
// Required methods
fn as_mplace_or_local(
&self
) -> Either<MPlaceTy<'tcx, Prov>, (usize, Local, Option<Size>, Align, TyAndLayout<'tcx>)>;
fn force_mplace<'mir, M: Machine<'mir, 'tcx, Provenance = Prov>>(
&self,
ecx: &mut InterpCx<'mir, 'tcx, M>
) -> InterpResult<'tcx, MPlaceTy<'tcx, Prov>>;
}
Expand description
The Weiteable
trait describes interpreter values that can be written to.