use a new tracking issue for never type changes

Author: WaffleLapkin

compiler/rustc_trait_selection/src/error_reporting/traits/fulfillment_errors.rs

@@ -548,11 +548,10 @@ impl<'a, 'tcx> TypeErrCtxt<'a, 'tcx> {
                             });
                             let unit_obligation = obligation.with(tcx, predicate);
                             if self.predicate_may_hold(&unit_obligation) {
-                                // FIXME: make a new issue for this
                                 err.note(
                                     "this error might have been caused by changes to \
-                                    Rust's type-inference algorithm (see issue #48950 \
-                                    <https://github.com/rust-lang/rust/issues/48950> \
+                                    Rust's type-inference algorithm (see issue #148922 \
+                                    <https://github.com/rust-lang/rust/issues/148922> \
                                     for more information)",
                                 );
                                 err.help("you might have intended to use the type `()` here instead");

tests/ui/editions/never-type-fallback-breaking.e2024.stderr

@@ -4,7 +4,7 @@ error[E0277]: the trait bound `!: Default` is not satisfied
 LL |         true => Default::default(),
    |                 ^^^^^^^^^^^^^^^^^^ the trait `Default` is not implemented for `!`
    |
-   = note: this error might have been caused by changes to Rust's type-inference algorithm (see issue #48950 <https://github.com/rust-lang/rust/issues/48950> for more information)
+   = note: this error might have been caused by changes to Rust's type-inference algorithm (see issue #148922 <https://github.com/rust-lang/rust/issues/148922> for more information)
    = help: you might have intended to use the type `()` here instead
 
 error[E0277]: the trait bound `!: Default` is not satisfied
@@ -13,7 +13,7 @@ error[E0277]: the trait bound `!: Default` is not satisfied
 LL |     deserialize()?;
    |     ^^^^^^^^^^^^^ the trait `Default` is not implemented for `!`
    |
-   = note: this error might have been caused by changes to Rust's type-inference algorithm (see issue #48950 <https://github.com/rust-lang/rust/issues/48950> for more information)
+   = note: this error might have been caused by changes to Rust's type-inference algorithm (see issue #148922 <https://github.com/rust-lang/rust/issues/148922> for more information)
    = help: you might have intended to use the type `()` here instead
 note: required by a bound in `deserialize`
   --> $DIR/never-type-fallback-breaking.rs:31:23
@@ -50,7 +50,7 @@ error[E0277]: the trait bound `!: Default` is not satisfied
 LL |     takes_apit(|| Default::default())?;
    |                   ^^^^^^^^^^^^^^^^^^ the trait `Default` is not implemented for `!`
    |
-   = note: this error might have been caused by changes to Rust's type-inference algorithm (see issue #48950 <https://github.com/rust-lang/rust/issues/48950> for more information)
+   = note: this error might have been caused by changes to Rust's type-inference algorithm (see issue #148922 <https://github.com/rust-lang/rust/issues/148922> for more information)
    = help: you might have intended to use the type `()` here instead
 
 error[E0277]: the trait bound `!: Default` is not satisfied
@@ -61,7 +61,7 @@ LL |     takes_apit2(mk()?);
    |     |
    |     required by a bound introduced by this call
    |
-   = note: this error might have been caused by changes to Rust's type-inference algorithm (see issue #48950 <https://github.com/rust-lang/rust/issues/48950> for more information)
+   = note: this error might have been caused by changes to Rust's type-inference algorithm (see issue #148922 <https://github.com/rust-lang/rust/issues/148922> for more information)
    = help: you might have intended to use the type `()` here instead
 note: required by a bound in `takes_apit2`
   --> $DIR/never-type-fallback-breaking.rs:69:25

tests/ui/never_type/defaulted-never-note.fallback.stderr

@@ -11,7 +11,7 @@ help: the trait `ImplementedForUnitButNotNever` is implemented for `()`
    |
 LL | impl ImplementedForUnitButNotNever for () {}
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
-   = note: this error might have been caused by changes to Rust's type-inference algorithm (see issue #48950 <https://github.com/rust-lang/rust/issues/48950> for more information)
+   = note: this error might have been caused by changes to Rust's type-inference algorithm (see issue #148922 <https://github.com/rust-lang/rust/issues/148922> for more information)
    = help: you might have intended to use the type `()` here instead
 note: required by a bound in `foo`
   --> $DIR/defaulted-never-note.rs:22:11

tests/ui/never_type/diverging-fallback-no-leak.fallback.stderr

@@ -13,7 +13,7 @@ LL | impl Test for i32 {}
    | ^^^^^^^^^^^^^^^^^ `i32`
 LL | impl Test for () {}
    | ^^^^^^^^^^^^^^^^ `()`
-   = note: this error might have been caused by changes to Rust's type-inference algorithm (see issue #48950 <https://github.com/rust-lang/rust/issues/48950> for more information)
+   = note: this error might have been caused by changes to Rust's type-inference algorithm (see issue #148922 <https://github.com/rust-lang/rust/issues/148922> for more information)
    = help: you might have intended to use the type `()` here instead
 note: required by a bound in `unconstrained_arg`
   --> $DIR/diverging-fallback-no-leak.rs:13:25

tests/ui/never_type/diverging-fallback-unconstrained-return.fallback.stderr

@@ -11,7 +11,7 @@ LL | impl UnitReturn for i32 {}
    | ^^^^^^^^^^^^^^^^^^^^^^^ `i32`
 LL | impl UnitReturn for () {}
    | ^^^^^^^^^^^^^^^^^^^^^^ `()`
-   = note: this error might have been caused by changes to Rust's type-inference algorithm (see issue #48950 <https://github.com/rust-lang/rust/issues/48950> for more information)
+   = note: this error might have been caused by changes to Rust's type-inference algorithm (see issue #148922 <https://github.com/rust-lang/rust/issues/148922> for more information)
    = help: you might have intended to use the type `()` here instead
 note: required by a bound in `unconstrained_return`
   --> $DIR/diverging-fallback-unconstrained-return.rs:18:28

tests/ui/never_type/fallback-closure-ret.fallback.stderr

@@ -11,7 +11,7 @@ LL | impl Bar for () {}
    | ^^^^^^^^^^^^^^^ `()`
 LL | impl Bar for u32 {}
    | ^^^^^^^^^^^^^^^^ `u32`
-   = note: this error might have been caused by changes to Rust's type-inference algorithm (see issue #48950 <https://github.com/rust-lang/rust/issues/48950> for more information)
+   = note: this error might have been caused by changes to Rust's type-inference algorithm (see issue #148922 <https://github.com/rust-lang/rust/issues/148922> for more information)
    = help: you might have intended to use the type `()` here instead
 note: required by a bound in `foo`
   --> $DIR/fallback-closure-ret.rs:15:11