Change Scalar to numeric cast

2026-05-28 20:16:58 +03:00 · 2018-10-15 10:12:29 -07:00
parent 5beeb535e1
commit def0f544a3
1 changed files with 2 additions and 1 deletions
@@ -424,8 +424,9 @@ fn on_unimplemented_note(
                    "_Self".to_owned(),
                    Some(format!("[{}]", self.tcx.type_of(def.did).to_string())),
                ));
+                let tcx = self.tcx;
                if let Some(len) = len.val.try_to_scalar().and_then(|scalar| {
-                    scalar.to_u64().ok()
+                    scalar.to_usize(tcx).ok()
                }) {
                    flags.push((
                        "_Self".to_owned(),