Add coercion unsafe

filtsin · filtsin · commit be46b44283c1 · 2020-10-14T18:15:59.000+03:00
diff --git a/compiler/rustc_typeck/src/check/coercion.rs b/compiler/rustc_typeck/src/check/coercion.rs
@@ -994,10 +994,10 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
                                         new_sig = self.tcx.signature_not_const_fn(prev_sig);
                                         new_drop_const = true;
                                     }
-                                    if prev_sig.unsafety() != new_sig.unsafety() {
-                                        prev_sig = prev_sig.map_bound(|sig| ty::FnSig { unsafety: hir::Unsafety::Unsafe, ..sig });
-                                        new_sig = new_sig.map_bound(|sig| ty::FnSig { unsafety: hir::Unsafety::Unsafe, ..sig });
-                                    }
+                                }
+                                if prev_sig.unsafety() != new_sig.unsafety() {
+                                    prev_sig = prev_sig.map_bound(|sig| ty::FnSig { unsafety: hir::Unsafety::Unsafe, ..sig });
+                                    new_sig = new_sig.map_bound(|sig| ty::FnSig { unsafety: hir::Unsafety::Unsafe, ..sig });
                                 }
                                 (Some(prev_sig), Some(new_sig))
                             }

Original file line number	Diff line number	Diff line change
`@@ -994,10 +994,10 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {`
`994`	`994`	`new_sig = self.tcx.signature_not_const_fn(prev_sig);`
`995`	`995`	`new_drop_const = true;`
`996`	`996`	`}`
`997`		`- if prev_sig.unsafety() != new_sig.unsafety() {`
`998`		`- prev_sig = prev_sig.map_bound(\|sig\| ty::FnSig { unsafety: hir::Unsafety::Unsafe, ..sig });`
`999`		`- new_sig = new_sig.map_bound(\|sig\| ty::FnSig { unsafety: hir::Unsafety::Unsafe, ..sig });`
`1000`		`- }`
	`997`	`+ }`
	`998`	`+ if prev_sig.unsafety() != new_sig.unsafety() {`
	`999`	`+ prev_sig = prev_sig.map_bound(\|sig\| ty::FnSig { unsafety: hir::Unsafety::Unsafe, ..sig });`
	`1000`	`+ new_sig = new_sig.map_bound(\|sig\| ty::FnSig { unsafety: hir::Unsafety::Unsafe, ..sig });`
`1001`	`1001`	`}`
`1002`	`1002`	`(Some(prev_sig), Some(new_sig))`
`1003`	`1003`	`}`