mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

better bug message

Browse Source
This commit is contained in:
ouz-a 2023-09-22 11:31:14 +03:00
parent d6efedcaf5
commit 442c87a0b0
1 changed files with 7 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
compiler/rustc_mir_dataflow/src/move_paths/builder.rs
View File

@ -127,7 +127,7 @@ impl<'b, 'a, 'tcx> Gatherer<'b, 'a, 'tcx> {
} }
ty::Adt(adt, _) => { ty::Adt(adt, _) => {
if !adt.is_box() { if !adt.is_box() {
bug!("Adt should be a box type"); bug!("Adt should be a box type when Place is deref");
} }
} }
ty::Bool ty::Bool
@ -153,7 +153,9 @@ impl<'b, 'a, 'tcx> Gatherer<'b, 'a, 'tcx> {
| ty::Bound(_, _) | ty::Bound(_, _)
| ty::Infer(_) | ty::Infer(_)
| ty::Error(_) | ty::Error(_)
| ty::Placeholder(_) => bug!("Place has a wrong type {place_ty:#?}"), | ty::Placeholder(_) => {
bug!("When Place is Deref it's type shouldn't be {place_ty:#?}")
}
}, },
ProjectionElem::Field(_, _) => match place_ty.kind() { ProjectionElem::Field(_, _) => match place_ty.kind() {
ty::Adt(adt, _) if adt.has_dtor(tcx) => { ty::Adt(adt, _) if adt.has_dtor(tcx) => {
@ -190,7 +192,9 @@ impl<'b, 'a, 'tcx> Gatherer<'b, 'a, 'tcx> {
| ty::Bound(_, _) | ty::Bound(_, _)
| ty::Infer(_) | ty::Infer(_)
| ty::Error(_) | ty::Error(_)
| ty::Placeholder(_) => bug!("Place has a wrong type {place_ty:#?}"), | ty::Placeholder(_) => bug!(
"When Place contains ProjectionElem::Field it's type shouldn't be {place_ty:#?}"
),
}, },
ProjectionElem::ConstantIndex { .. } | ProjectionElem::Subslice { .. } => { ProjectionElem::ConstantIndex { .. } | ProjectionElem::Subslice { .. } => {
match place_ty.kind() { match place_ty.kind() {