Rollup merge of #126552 - fee1-dead-contrib:rmfx, r=compiler-errors · rust-lang/rust@dc9a08f (original) (raw)
`@@ -429,17 +429,17 @@ pub fn check_intrinsic_type(
`
429
429
``
430
430
` sym::ptr_guaranteed_cmp => (
`
431
431
`1,
`
432
``
`-
1,
`
``
432
`+
0,
`
433
433
`vec![Ty::new_imm_ptr(tcx, param(0)), Ty::new_imm_ptr(tcx, param(0))],
`
434
434
` tcx.types.u8,
`
435
435
`),
`
436
436
``
437
437
` sym::const_allocate => {
`
438
``
`-
(0, 1, vec![tcx.types.usize, tcx.types.usize], Ty::new_mut_ptr(tcx, tcx.types.u8))
`
``
438
`+
(0, 0, vec![tcx.types.usize, tcx.types.usize], Ty::new_mut_ptr(tcx, tcx.types.u8))
`
439
439
`}
`
440
440
` sym::const_deallocate => (
`
441
441
`0,
`
442
``
`-
1,
`
``
442
`+
0,
`
443
443
`vec![Ty::new_mut_ptr(tcx, tcx.types.u8), tcx.types.usize, tcx.types.usize],
`
444
444
` tcx.types.unit,
`
445
445
`),
`
`@@ -478,16 +478,16 @@ pub fn check_intrinsic_type(
`
478
478
` | sym::frem_algebraic => (1, 0, vec![param(0), param(0)], param(0)),
`
479
479
` sym::float_to_int_unchecked => (2, 0, vec![param(0)], param(1)),
`
480
480
``
481
``
`-
sym::assume => (0, 1, vec![tcx.types.bool], tcx.types.unit),
`
482
``
`-
sym::likely => (0, 1, vec![tcx.types.bool], tcx.types.bool),
`
483
``
`-
sym::unlikely => (0, 1, vec![tcx.types.bool], tcx.types.bool),
`
``
481
`+
sym::assume => (0, 0, vec![tcx.types.bool], tcx.types.unit),
`
``
482
`+
sym::likely => (0, 0, vec![tcx.types.bool], tcx.types.bool),
`
``
483
`+
sym::unlikely => (0, 0, vec![tcx.types.bool], tcx.types.bool),
`
484
484
``
485
485
` sym::read_via_copy => (1, 0, vec![Ty::new_imm_ptr(tcx, param(0))], param(0)),
`
486
486
` sym::write_via_move => {
`
487
487
`(1, 0, vec![Ty::new_mut_ptr(tcx, param(0)), param(0)], tcx.types.unit)
`
488
488
`}
`
489
489
``
490
``
`-
sym::typed_swap => (1, 1, vec![Ty::new_mut_ptr(tcx, param(0)); 2], tcx.types.unit),
`
``
490
`+
sym::typed_swap => (1, 0, vec![Ty::new_mut_ptr(tcx, param(0)); 2], tcx.types.unit),
`
491
491
``
492
492
` sym::discriminant_value => {
`
493
493
`let assoc_items = tcx.associated_item_def_ids(
`
`@@ -566,20 +566,20 @@ pub fn check_intrinsic_type(
`
566
566
``
567
567
` sym::black_box => (1, 0, vec![param(0)], param(0)),
`
568
568
``
569
``
`-
sym::is_val_statically_known => (1, 1, vec![param(0)], tcx.types.bool),
`
``
569
`+
sym::is_val_statically_known => (1, 0, vec![param(0)], tcx.types.bool),
`
570
570
``
571
``
`-
sym::const_eval_select => (4, 1, vec![param(0), param(1), param(2)], param(3)),
`
``
571
`+
sym::const_eval_select => (4, 0, vec![param(0), param(1), param(2)], param(3)),
`
572
572
``
573
573
` sym::vtable_size | sym::vtable_align => {
`
574
574
`(0, 0, vec![Ty::new_imm_ptr(tcx, tcx.types.unit)], tcx.types.usize)
`
575
575
`}
`
576
576
``
577
577
`` // This type check is not particularly useful, but the where bounds
``
578
578
`` // on the definition in core do the heavy lifting for checking it.
``
579
``
`-
sym::aggregate_raw_ptr => (3, 1, vec![param(1), param(2)], param(0)),
`
580
``
`-
sym::ptr_metadata => (2, 1, vec![Ty::new_imm_ptr(tcx, param(0))], param(1)),
`
``
579
`+
sym::aggregate_raw_ptr => (3, 0, vec![param(1), param(2)], param(0)),
`
``
580
`+
sym::ptr_metadata => (2, 0, vec![Ty::new_imm_ptr(tcx, param(0))], param(1)),
`
581
581
``
582
``
`-
sym::ub_checks => (0, 1, Vec::new(), tcx.types.bool),
`
``
582
`+
sym::ub_checks => (0, 0, Vec::new(), tcx.types.bool),
`
583
583
``
584
584
` sym::simd_eq
`
585
585
` | sym::simd_ne
`