@@ -208,11 +208,11 @@ pub fn check_intrinsic_type(
208208 Ty :: new_tup ( tcx, & [ param ( 0 ) , tcx. types . bool ] ) ,
209209 ) ,
210210 "load" => ( 1 , vec ! [ Ty :: new_imm_ptr( tcx, param( 0 ) ) ] , param ( 0 ) ) ,
211- "store" => ( 1 , vec ! [ Ty :: new_mut_ptr( tcx, param( 0 ) ) , param( 0 ) ] , Ty :: new_unit ( tcx) ) ,
211+ "store" => ( 1 , vec ! [ Ty :: new_mut_ptr( tcx, param( 0 ) ) , param( 0 ) ] , tcx. types . unit ) ,
212212
213213 "xchg" | "xadd" | "xsub" | "and" | "nand" | "or" | "xor" | "max" | "min" | "umax"
214214 | "umin" => ( 1 , vec ! [ Ty :: new_mut_ptr( tcx, param( 0 ) ) , param( 0 ) ] , param ( 0 ) ) ,
215- "fence" | "singlethreadfence" => ( 0 , Vec :: new ( ) , Ty :: new_unit ( tcx) ) ,
215+ "fence" | "singlethreadfence" => ( 0 , Vec :: new ( ) , tcx. types . unit ) ,
216216 op => {
217217 tcx. dcx ( ) . emit_err ( UnrecognizedAtomicOperation { span, op } ) ;
218218 return ;
@@ -224,7 +224,7 @@ pub fn check_intrinsic_type(
224224 let ( n_tps, n_cts, inputs, output) = match intrinsic_name {
225225 sym:: abort => ( 0 , 0 , vec ! [ ] , tcx. types . never ) ,
226226 sym:: unreachable => ( 0 , 0 , vec ! [ ] , tcx. types . never ) ,
227- sym:: breakpoint => ( 0 , 0 , vec ! [ ] , Ty :: new_unit ( tcx) ) ,
227+ sym:: breakpoint => ( 0 , 0 , vec ! [ ] , tcx. types . unit ) ,
228228 sym:: size_of | sym:: pref_align_of | sym:: min_align_of | sym:: variant_count => {
229229 ( 1 , 0 , vec ! [ ] , tcx. types . usize )
230230 }
@@ -235,14 +235,14 @@ pub fn check_intrinsic_type(
235235 sym:: caller_location => ( 0 , 0 , vec ! [ ] , tcx. caller_location_ty ( ) ) ,
236236 sym:: assert_inhabited
237237 | sym:: assert_zero_valid
238- | sym:: assert_mem_uninitialized_valid => ( 1 , 0 , vec ! [ ] , Ty :: new_unit ( tcx) ) ,
239- sym:: forget => ( 1 , 0 , vec ! [ param( 0 ) ] , Ty :: new_unit ( tcx) ) ,
238+ | sym:: assert_mem_uninitialized_valid => ( 1 , 0 , vec ! [ ] , tcx. types . unit ) ,
239+ sym:: forget => ( 1 , 0 , vec ! [ param( 0 ) ] , tcx. types . unit ) ,
240240 sym:: transmute | sym:: transmute_unchecked => ( 2 , 0 , vec ! [ param( 0 ) ] , param ( 1 ) ) ,
241241 sym:: prefetch_read_data
242242 | sym:: prefetch_write_data
243243 | sym:: prefetch_read_instruction
244244 | sym:: prefetch_write_instruction => {
245- ( 1 , 0 , vec ! [ Ty :: new_imm_ptr( tcx, param( 0 ) ) , tcx. types. i32 ] , Ty :: new_unit ( tcx) )
245+ ( 1 , 0 , vec ! [ Ty :: new_imm_ptr( tcx, param( 0 ) ) , tcx. types. i32 ] , tcx. types . unit )
246246 }
247247 sym:: needs_drop => ( 1 , 0 , vec ! [ ] , tcx. types . bool ) ,
248248
@@ -270,7 +270,7 @@ pub fn check_intrinsic_type(
270270 Ty :: new_mut_ptr( tcx, param( 0 ) ) ,
271271 tcx. types. usize ,
272272 ] ,
273- Ty :: new_unit ( tcx) ,
273+ tcx. types . unit ,
274274 ) ,
275275 sym:: volatile_copy_memory | sym:: volatile_copy_nonoverlapping_memory => (
276276 1 ,
@@ -280,7 +280,7 @@ pub fn check_intrinsic_type(
280280 Ty :: new_imm_ptr( tcx, param( 0 ) ) ,
281281 tcx. types. usize ,
282282 ] ,
283- Ty :: new_unit ( tcx) ,
283+ tcx. types . unit ,
284284 ) ,
285285 sym:: compare_bytes => {
286286 let byte_ptr = Ty :: new_imm_ptr ( tcx, tcx. types . u8 ) ;
@@ -290,7 +290,7 @@ pub fn check_intrinsic_type(
290290 1 ,
291291 0 ,
292292 vec ! [ Ty :: new_mut_ptr( tcx, param( 0 ) ) , tcx. types. u8 , tcx. types. usize ] ,
293- Ty :: new_unit ( tcx) ,
293+ tcx. types . unit ,
294294 ) ,
295295
296296 sym:: sqrtf16 => ( 0 , 0 , vec ! [ tcx. types. f16] , tcx. types . f16 ) ,
@@ -409,7 +409,7 @@ pub fn check_intrinsic_type(
409409 ( 1 , 0 , vec ! [ Ty :: new_imm_ptr( tcx, param( 0 ) ) ] , param ( 0 ) )
410410 }
411411 sym:: volatile_store | sym:: unaligned_volatile_store => {
412- ( 1 , 0 , vec ! [ Ty :: new_mut_ptr( tcx, param( 0 ) ) , param( 0 ) ] , Ty :: new_unit ( tcx) )
412+ ( 1 , 0 , vec ! [ Ty :: new_mut_ptr( tcx, param( 0 ) ) , param( 0 ) ] , tcx. types . unit )
413413 }
414414
415415 sym:: ctpop | sym:: ctlz | sym:: ctlz_nonzero | sym:: cttz | sym:: cttz_nonzero => {
@@ -440,7 +440,7 @@ pub fn check_intrinsic_type(
440440 0 ,
441441 1 ,
442442 vec ! [ Ty :: new_mut_ptr( tcx, tcx. types. u8 ) , tcx. types. usize , tcx. types. usize ] ,
443- Ty :: new_unit ( tcx) ,
443+ tcx. types . unit ,
444444 ) ,
445445
446446 sym:: ptr_offset_from => (
@@ -477,16 +477,16 @@ pub fn check_intrinsic_type(
477477 | sym:: frem_algebraic => ( 1 , 0 , vec ! [ param( 0 ) , param( 0 ) ] , param ( 0 ) ) ,
478478 sym:: float_to_int_unchecked => ( 2 , 0 , vec ! [ param( 0 ) ] , param ( 1 ) ) ,
479479
480- sym:: assume => ( 0 , 1 , vec ! [ tcx. types. bool ] , Ty :: new_unit ( tcx) ) ,
480+ sym:: assume => ( 0 , 1 , vec ! [ tcx. types. bool ] , tcx. types . unit ) ,
481481 sym:: likely => ( 0 , 1 , vec ! [ tcx. types. bool ] , tcx. types . bool ) ,
482482 sym:: unlikely => ( 0 , 1 , vec ! [ tcx. types. bool ] , tcx. types . bool ) ,
483483
484484 sym:: read_via_copy => ( 1 , 0 , vec ! [ Ty :: new_imm_ptr( tcx, param( 0 ) ) ] , param ( 0 ) ) ,
485485 sym:: write_via_move => {
486- ( 1 , 0 , vec ! [ Ty :: new_mut_ptr( tcx, param( 0 ) ) , param( 0 ) ] , Ty :: new_unit ( tcx) )
486+ ( 1 , 0 , vec ! [ Ty :: new_mut_ptr( tcx, param( 0 ) ) , param( 0 ) ] , tcx. types . unit )
487487 }
488488
489- sym:: typed_swap => ( 1 , 1 , vec ! [ Ty :: new_mut_ptr( tcx, param( 0 ) ) ; 2 ] , Ty :: new_unit ( tcx) ) ,
489+ sym:: typed_swap => ( 1 , 1 , vec ! [ Ty :: new_mut_ptr( tcx, param( 0 ) ) ; 2 ] , tcx. types . unit ) ,
490490
491491 sym:: discriminant_value => {
492492 let assoc_items = tcx. associated_item_def_ids (
@@ -511,14 +511,14 @@ pub fn check_intrinsic_type(
511511 let mut_u8 = Ty :: new_mut_ptr ( tcx, tcx. types . u8 ) ;
512512 let try_fn_ty = ty:: Binder :: dummy ( tcx. mk_fn_sig (
513513 [ mut_u8] ,
514- Ty :: new_unit ( tcx) ,
514+ tcx. types . unit ,
515515 false ,
516516 hir:: Unsafety :: Normal ,
517517 Abi :: Rust ,
518518 ) ) ;
519519 let catch_fn_ty = ty:: Binder :: dummy ( tcx. mk_fn_sig (
520520 [ mut_u8, mut_u8] ,
521- Ty :: new_unit ( tcx) ,
521+ tcx. types . unit ,
522522 false ,
523523 hir:: Unsafety :: Normal ,
524524 Abi :: Rust ,
@@ -532,14 +532,14 @@ pub fn check_intrinsic_type(
532532 }
533533
534534 sym:: va_start | sym:: va_end => match mk_va_list_ty ( hir:: Mutability :: Mut ) {
535- Some ( ( va_list_ref_ty, _) ) => ( 0 , 0 , vec ! [ va_list_ref_ty] , Ty :: new_unit ( tcx) ) ,
535+ Some ( ( va_list_ref_ty, _) ) => ( 0 , 0 , vec ! [ va_list_ref_ty] , tcx. types . unit ) ,
536536 None => bug ! ( "`va_list` lang item needed for C-variadic intrinsics" ) ,
537537 } ,
538538
539539 sym:: va_copy => match mk_va_list_ty ( hir:: Mutability :: Not ) {
540540 Some ( ( va_list_ref_ty, va_list_ty) ) => {
541541 let va_list_ptr_ty = Ty :: new_mut_ptr ( tcx, va_list_ty) ;
542- ( 0 , 0 , vec ! [ va_list_ptr_ty, va_list_ref_ty] , Ty :: new_unit ( tcx) )
542+ ( 0 , 0 , vec ! [ va_list_ptr_ty, va_list_ref_ty] , tcx. types . unit )
543543 }
544544 None => bug ! ( "`va_list` lang item needed for C-variadic intrinsics" ) ,
545545 } ,
@@ -550,7 +550,7 @@ pub fn check_intrinsic_type(
550550 } ,
551551
552552 sym:: nontemporal_store => {
553- ( 1 , 0 , vec ! [ Ty :: new_mut_ptr( tcx, param( 0 ) ) , param( 0 ) ] , Ty :: new_unit ( tcx) )
553+ ( 1 , 0 , vec ! [ Ty :: new_mut_ptr( tcx, param( 0 ) ) , param( 0 ) ] , tcx. types . unit )
554554 }
555555
556556 sym:: raw_eq => {
@@ -570,7 +570,7 @@ pub fn check_intrinsic_type(
570570 sym:: const_eval_select => ( 4 , 1 , vec ! [ param( 0 ) , param( 1 ) , param( 2 ) ] , param ( 3 ) ) ,
571571
572572 sym:: vtable_size | sym:: vtable_align => {
573- ( 0 , 0 , vec ! [ Ty :: new_imm_ptr( tcx, Ty :: new_unit ( tcx) ) ] , tcx. types . usize )
573+ ( 0 , 0 , vec ! [ Ty :: new_imm_ptr( tcx, tcx. types . unit ) ] , tcx. types . usize )
574574 }
575575
576576 // This type check is not particularly useful, but the `where` bounds
@@ -623,8 +623,8 @@ pub fn check_intrinsic_type(
623623 sym:: simd_fma => ( 1 , 0 , vec ! [ param( 0 ) , param( 0 ) , param( 0 ) ] , param ( 0 ) ) ,
624624 sym:: simd_gather => ( 3 , 0 , vec ! [ param( 0 ) , param( 1 ) , param( 2 ) ] , param ( 0 ) ) ,
625625 sym:: simd_masked_load => ( 3 , 0 , vec ! [ param( 0 ) , param( 1 ) , param( 2 ) ] , param ( 2 ) ) ,
626- sym:: simd_masked_store => ( 3 , 0 , vec ! [ param( 0 ) , param( 1 ) , param( 2 ) ] , Ty :: new_unit ( tcx) ) ,
627- sym:: simd_scatter => ( 3 , 0 , vec ! [ param( 0 ) , param( 1 ) , param( 2 ) ] , Ty :: new_unit ( tcx) ) ,
626+ sym:: simd_masked_store => ( 3 , 0 , vec ! [ param( 0 ) , param( 1 ) , param( 2 ) ] , tcx. types . unit ) ,
627+ sym:: simd_scatter => ( 3 , 0 , vec ! [ param( 0 ) , param( 1 ) , param( 2 ) ] , tcx. types . unit ) ,
628628 sym:: simd_insert => ( 2 , 0 , vec ! [ param( 0 ) , tcx. types. u32 , param( 1 ) ] , param ( 0 ) ) ,
629629 sym:: simd_extract => ( 2 , 0 , vec ! [ param( 0 ) , tcx. types. u32 ] , param ( 1 ) ) ,
630630 sym:: simd_cast
0 commit comments