about summary refs log tree commit diff
path: root/compiler/rustc_mir_dataflow/src/value_analysis.rs
diff options
context:
space:
mode:
authorbors <bors@rust-lang.org>2022-12-16 12:47:49 +0000
committerbors <bors@rust-lang.org>2022-12-16 12:47:49 +0000
commit03770f0e2b60c02db8fcf52fed5fb36aac70cedc (patch)
treefa8e7aea22d80f0b44cd5d982b6d3418a2ccb787 /compiler/rustc_mir_dataflow/src/value_analysis.rs
parent01ef4b21dc5251b58bd9c6fd6face2ae95d56da1 (diff)
parentff41359e6535ca7dc1261f282b1601136fedee21 (diff)
downloadrust-03770f0e2b60c02db8fcf52fed5fb36aac70cedc.tar.gz
rust-03770f0e2b60c02db8fcf52fed5fb36aac70cedc.zip
Auto merge of #103880 - b-naber:field-ty-mir, r=lcnr
Use non-ascribed type as field's type in mir

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

r? `@lcnr`
Diffstat (limited to 'compiler/rustc_mir_dataflow/src/value_analysis.rs')
-rw-r--r--compiler/rustc_mir_dataflow/src/value_analysis.rs4
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/rustc_mir_dataflow/src/value_analysis.rs b/compiler/rustc_mir_dataflow/src/value_analysis.rs
index 7df01142264..ab16b60f82d 100644
--- a/compiler/rustc_mir_dataflow/src/value_analysis.rs
+++ b/compiler/rustc_mir_dataflow/src/value_analysis.rs
@@ -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(()),