rust-lang/rust
1
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity

Auto merge of #103880 - b-naber:field-ty-mir, r=lcnr

Browse Source 
Use non-ascribed type as field's type in mir

Fixes https://github.com/rust-lang/rust/issues/96514

r? `@lcnr`
This commit is contained in:
bors
2022-12-16 12:47:49 +00:00
parent 01ef4b21dc ff41359e65
commit 03770f0e2b
14 changed files with 434 additions and 100 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
compiler/rustc_mir_dataflow/src/move_paths/abs_domain.rs
View File

@@ -18,7 +18,7 @@ use rustc_middle::ty::Ty;
pub struct AbstractOperand;
#[derive(Copy, Clone, PartialEq, Eq, Hash, Debug)]
pub struct AbstractType;
pub type AbstractElem = ProjectionElem<AbstractOperand, AbstractType>;
pub type AbstractElem = ProjectionElem<AbstractOperand, AbstractType, AbstractType>;
pub trait Lift {
type Abstract;

4
compiler/rustc_mir_dataflow/src/value_analysis.rs
View File

@@ -777,10 +777,10 @@ pub enum TrackElem {
Field(Field),
}
impl<V, T> TryFrom<ProjectionElem<V, T>> for TrackElem {
impl<V, T1, T2> TryFrom<ProjectionElem<V, T1, T2>> for TrackElem {
type Error = ();
fn try_from(value: ProjectionElem<V, T>) -> Result<Self, Self::Error> {
fn try_from(value: ProjectionElem<V, T1, T2>) -> Result<Self, Self::Error> {
match value {
ProjectionElem::Field(field, _) => Ok(TrackElem::Field(field)),
_ => Err(()),