user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Dedup tag reading

Browse source
This commit is contained in:
Oliver Schneider 2018-05-07 10:44:18 +02:00
parent b0d3daed40
commit 860e2b802f
No known key found for this signature in database
GPG key ID: 1D5CB4FC597C3004
1 changed files with 1 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

5
miri/validation.rs
View file

@ -455,10 +455,7 @@ impl<'a, 'mir, 'tcx: 'mir + 'a> EvalContextExt<'tcx> for EvalContext<'a, 'mir, '
}
// Discriminant field for enums (where applicable).
Variants::Tagged { ref tag, .. } => {
assert_eq!(i, 0);
return Ok(tag.value.to_ty(tcx))
},
Variants::Tagged { tag: ref discr, .. } |
Variants::NicheFilling { niche: ref discr, .. } => {
assert_eq!(i, 0);
return Ok(discr.value.to_ty(tcx))