Better variable naming
This commit is contained in:
parent
97da01f8ad
commit
98e5129375
|
@ -1153,13 +1153,13 @@ impl<'tcx> TerminatorKind<'tcx> {
|
||||||
let param_env = ty::ParamEnv::empty();
|
let param_env = ty::ParamEnv::empty();
|
||||||
let tcx = tcx.global_tcx();
|
let tcx = tcx.global_tcx();
|
||||||
let switch_ty = tcx.lift(&switch_ty).unwrap();
|
let switch_ty = tcx.lift(&switch_ty).unwrap();
|
||||||
tcx.layout_of(param_env.and(switch_ty)).unwrap().size.bits() as u8
|
tcx.layout_of(param_env.and(switch_ty)).unwrap().size
|
||||||
});
|
});
|
||||||
values.iter()
|
values.iter()
|
||||||
.map(|&u| {
|
.map(|&u| {
|
||||||
let mut s = String::new();
|
let mut s = String::new();
|
||||||
print_miri_value(
|
print_miri_value(
|
||||||
Value::Scalar(Scalar::Bits { bits: u, defined: size }),
|
Value::Scalar(Scalar::Bits { bits: u, defined: size.bits() as u8 }),
|
||||||
switch_ty,
|
switch_ty,
|
||||||
&mut s,
|
&mut s,
|
||||||
).unwrap();
|
).unwrap();
|
||||||
|
|
Loading…
Reference in a new issue