OpenE2K/rust
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Simplify assert_assignable

Browse Source 
Assignments are no longer used to implicitly cast between &mut T and &T
This commit is contained in:
bjorn3 2020-06-21 10:35:45 +02:00
parent b79102c933
commit 9c0d18c8db
1 changed files with 0 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
src/value_and_place.rs
View File

@ -362,17 +362,6 @@ impl<'tcx> CPlace<'tcx> {
to_ty: Ty<'tcx>,
) {
match (&from_ty.kind, &to_ty.kind) {
(ty::Ref(_, t, Mutability::Not), ty::Ref(_, u, Mutability::Not))
| (ty::Ref(_, t, Mutability::Mut), ty::Ref(_, u, Mutability::Not))
| (ty::Ref(_, t, Mutability::Mut), ty::Ref(_, u, Mutability::Mut)) => {
assert_assignable(fx, t, u);
// &mut T -> &T is allowed
// &'a T -> &'b T is allowed
}
(ty::Ref(_, _, Mutability::Not), ty::Ref(_, _, Mutability::Mut)) => panic!(
"Cant assign value of type {} to place of type {}",
from_ty, to_ty
),
(ty::FnPtr(_), ty::FnPtr(_)) => {
let from_sig = fx.tcx.normalize_erasing_late_bound_regions(
ParamEnv::reveal_all(),