don't include additional opaquecast

b-naber · b-naber · commit b26fea54826d · 2022-12-20T09:09:50.000+01:00
diff --git a/compiler/rustc_mir_build/src/build/matches/util.rs b/compiler/rustc_mir_build/src/build/matches/util.rs
@@ -109,7 +109,7 @@ impl<'pat, 'tcx> MatchPair<'pat, 'tcx> {
         let may_need_cast = match place {
             PlaceBuilder::Local { local, ref projection } => {
                 let ty = Place::ty_from(local, projection, &cx.local_decls, cx.tcx).ty;
-                ty != pattern.ty && ty.has_opaque_types()
+                ty.has_opaque_types() && !pattern.ty.has_opaque_types()
             }
             _ => true,
         };

Original file line number	Diff line number	Diff line change
`@@ -109,7 +109,7 @@ impl<'pat, 'tcx> MatchPair<'pat, 'tcx> {`
`109`	`109`	`let may_need_cast = match place {`
`110`	`110`	`PlaceBuilder::Local { local, ref projection } => {`
`111`	`111`	`let ty = Place::ty_from(local, projection, &cx.local_decls, cx.tcx).ty;`
`112`		`- ty != pattern.ty && ty.has_opaque_types()`
	`112`	`+ ty.has_opaque_types() && !pattern.ty.has_opaque_types()`
`113`	`113`	`}`
`114`	`114`	`_ => true,`
`115`	`115`	`};`