@@ -123,14 +123,14 @@ impl<'tcx, M: Machine<'tcx>> InterpCx<'tcx, M> {
123123 // (`tag_bits` itself is only used for error messages below.)
124124 let tag_bits = tag_val
125125 . to_scalar ( )
126- . try_to_int ( )
126+ . try_to_scalar_int ( )
127127 . map_err ( |dbg_val| err_ub ! ( InvalidTag ( dbg_val) ) ) ?
128- . assert_bits ( tag_layout. size ) ;
128+ . to_bits ( tag_layout. size ) ;
129129 // Cast bits from tag layout to discriminant layout.
130130 // After the checks we did above, this cannot fail, as
131131 // discriminants are int-like.
132132 let discr_val = self . int_to_int_or_float ( & tag_val, discr_layout) . unwrap ( ) ;
133- let discr_bits = discr_val. to_scalar ( ) . assert_bits ( discr_layout. size ) ;
133+ let discr_bits = discr_val. to_scalar ( ) . to_bits ( discr_layout. size ) ? ;
134134 // Convert discriminant to variant index, and catch invalid discriminants.
135135 let index = match * ty. kind ( ) {
136136 ty:: Adt ( adt, _) => {
@@ -152,7 +152,7 @@ impl<'tcx, M: Machine<'tcx>> InterpCx<'tcx, M> {
152152 // discriminant (encoded in niche/tag) and variant index are the same.
153153 let variants_start = niche_variants. start ( ) . as_u32 ( ) ;
154154 let variants_end = niche_variants. end ( ) . as_u32 ( ) ;
155- let variant = match tag_val. try_to_int ( ) {
155+ let variant = match tag_val. try_to_scalar_int ( ) {
156156 Err ( dbg_val) => {
157157 // So this is a pointer then, and casting to an int failed.
158158 // Can only happen during CTFE.
@@ -167,15 +167,15 @@ impl<'tcx, M: Machine<'tcx>> InterpCx<'tcx, M> {
167167 untagged_variant
168168 }
169169 Ok ( tag_bits) => {
170- let tag_bits = tag_bits. assert_bits ( tag_layout. size ) ;
170+ let tag_bits = tag_bits. to_bits ( tag_layout. size ) ;
171171 // We need to use machine arithmetic to get the relative variant idx:
172172 // variant_index_relative = tag_val - niche_start_val
173173 let tag_val = ImmTy :: from_uint ( tag_bits, tag_layout) ;
174174 let niche_start_val = ImmTy :: from_uint ( niche_start, tag_layout) ;
175175 let variant_index_relative_val =
176176 self . binary_op ( mir:: BinOp :: Sub , & tag_val, & niche_start_val) ?;
177177 let variant_index_relative =
178- variant_index_relative_val. to_scalar ( ) . assert_bits ( tag_val. layout . size ) ;
178+ variant_index_relative_val. to_scalar ( ) . to_bits ( tag_val. layout . size ) ? ;
179179 // Check if this is in the range that indicates an actual discriminant.
180180 if variant_index_relative <= u128:: from ( variants_end - variants_start) {
181181 let variant_index_relative = u32:: try_from ( variant_index_relative)
@@ -294,8 +294,7 @@ impl<'tcx, M: Machine<'tcx>> InterpCx<'tcx, M> {
294294 ImmTy :: from_uint ( variant_index_relative, tag_layout) ;
295295 let tag = self
296296 . binary_op ( mir:: BinOp :: Add , & variant_index_relative_val, & niche_start_val) ?
297- . to_scalar ( )
298- . assert_int ( ) ;
297+ . to_scalar_int ( ) ?;
299298 Ok ( Some ( ( tag, tag_field) ) )
300299 }
301300 }
0 commit comments