Repository: rust
Issue: ICE: Where clause ... was applicable to ... but now is not in `compiler/rustc_trait_selection/src/traits/select/confirmation.rs`
Labels: I-ICE,T-compiler,C-bug,E-needs-bisection,S-bug-has-test,fixed-by-next-solver

<!--
Thank you for finding an Internal Compiler Error! 🧊  If possible, try to provide
a minimal verifiable example. You can read "Rust Bug Minimization Patterns" for
how to create smaller examples.
http://blog.pnkfx.org/blog/2019/11/18/rust-bug-minimization-patterns/
-->

### Code

(original code. over 100 lines)
<details>
<p>

```Rust
trait BufMut {}
struct Bytes;
struct BytesMut;

pub trait Future {
    type Item;
}

pub trait Service {
    type Response;
    type Future: Future<Item = Self::Response>;
}

pub trait ThriftService<F>:
    Service<
        Response = FramingEncoded<F>,
        Future = Box<Future<Item = FramingEncodedFinal<F>>>,
    >
where
    F: Framing,
{
    fn get_service(
        &self,
    ) -> &Service<
        Response = Self::Response,
        Future = Self::Future,
    >;
}

pub trait BufMutExt: BufMut {
    type Final;
}

impl BufMutExt for BytesMut {
    type Final = Bytes;
}

pub type FramingEncoded<F> = <F as Framing>::EncBuf;
pub type FramingEncodedFinal<F> = <<F as Framing>::EncBuf as BufMutExt>::Final;

pub trait Framing {
    type EncBuf: BufMut;
}

pub struct SRHeaderTransport;
impl Framing for SRHeaderTransport {
    type EncBuf = BytesMut;
}

pub type BoxService<H> = Box<
    ThriftService<
            SRHeaderTransport,
            Response = Bytes,
            Future = Box<Future<Item = Bytes>>,
        >,
>;

use std::pin::Pin;
use std::task::*;

pub trait Stream {
    type Item;

    fn poll_next(self: Pin<&mut Self>) -> Poll<Option<Self::Item>>;
}

pub trait FnOnce1<A> {
    type Output;
    fn call_once(self, arg: A) -> Self::Output;
}

impl<T, A, R> FnOnce1<A> for T
where
    T: FnOnce(A) -> R,
{
    type Output = R;
    fn call_once(self, arg: A) -> R {
        self(arg)
    }
}

pub trait FnMut1<A>: FnOnce1<A> {
    fn call_mut(&mut self, arg: A) -> Self::Output;
}


struct Map<St, F>(St, F);

impl<St, F> Stream for Map<St, F>
where
    St: Stream,
    F: FnMut1<BoxService>,
{
    type Item = F::Output;

    fn poll_next(self: Pin<&mut Self>, cx: &mut Context<'_>) -> Poll<Option<Self::Item>> {
        todo!()
    }
}
fn main() {}
```

</p>
</details>

### Meta
<!--
If you're using the stable version of the compiler, you should also check if the
bug also exists in the beta or nightly versions.
-->

`rustc --version --verbose`:
```
rustc 1.81.0-nightly (bcf94dec5 2024-06-23)
binary: rustc
commit-hash: bcf94dec5ba6838e435902120c0384c360126a26
commit-date: 2024-06-23
host: x86_64-apple-darwin
release: 1.81.0-nightly
LLVM version: 18.1.7
```

### Error output

<details><summary><strong>Output</strong></summary>
<p>

```
warning: trait objects without an explicit `dyn` are deprecated
  --> ./9079C.rs:17:22
   |
17 |         Future = Box<Future<Item = FramingEncodedFinal<F>>>,
   |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
   |
   = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021!
   = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/warnings-promoted-to-error.html>
   = note: `#[warn(bare_trait_objects)]` on by default
help: if this is an object-safe trait, use `dyn`
   |
17 |         Future = Box<dyn Future<Item = FramingEncodedFinal<F>>>,
   |                      +++

error[E0277]: the trait bound `<F as Framing>::EncBuf: BufMutExt` is not satisfied
  --> ./9079C.rs:14:1
   |
14 | / pub trait ThriftService<F>:
15 | |     Service<
16 | |         Response = FramingEncoded<F>,
17 | |         Future = Box<Future<Item = FramingEncodedFinal<F>>>,
18 | |     >
   | |_____^ the trait `BufMutExt` is not implemented for `<F as Framing>::EncBuf`
   |
help: consider further restricting the associated type
   |
20 |     F: Framing, <F as Framing>::EncBuf: BufMutExt
   |               ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

error[E0277]: the trait bound `<F as Framing>::EncBuf: BufMutExt` is not satisfied
  --> ./9079C.rs:14:1
   |
14 | / pub trait ThriftService<F>:
15 | |     Service<
16 | |         Response = FramingEncoded<F>,
17 | |         Future = Box<Future<Item = FramingEncodedFinal<F>>>,
...  |
27 | |     >;
28 | | }
   | |_^ the trait `BufMutExt` is not implemented for `<F as Framing>::EncBuf`
   |
help: consider further restricting the associated type
   |
20 |     F: Framing, <F as Framing>::EncBuf: BufMutExt
   |               ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

warning: trait objects without an explicit `dyn` are deprecated
  --> ./9079C.rs:24:11
   |
24 |       ) -> &Service<
   |  ___________^
25 | |         Response = Self::Response,
26 | |         Future = Self::Future,
27 | |     >;
   | |_____^
   |
   = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021!
   = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/warnings-promoted-to-error.html>
help: if this is an object-safe trait, use `dyn`
   |
24 |     ) -> &dyn Service<
   |           +++

error[E0277]: the trait bound `BytesMut: BufMut` is not satisfied
  --> ./9079C.rs:34:20
   |
34 | impl BufMutExt for BytesMut {
   |                    ^^^^^^^^ the trait `BufMut` is not implemented for `BytesMut`
   |
help: this trait has no implementations, consider adding one
  --> ./9079C.rs:1:1
   |
1  | trait BufMut {}
   | ^^^^^^^^^^^^
note: required by a bound in `BufMutExt`
  --> ./9079C.rs:30:22
   |
30 | pub trait BufMutExt: BufMut {
   |                      ^^^^^^ required by this bound in `BufMutExt`

error[E0277]: the trait bound `BytesMut: BufMut` is not satisfied
  --> ./9079C.rs:47:19
   |
47 |     type EncBuf = BytesMut;
   |                   ^^^^^^^^ the trait `BufMut` is not implemented for `BytesMut`
   |
help: this trait has no implementations, consider adding one
  --> ./9079C.rs:1:1
   |
1  | trait BufMut {}
   | ^^^^^^^^^^^^
note: required by a bound in `Framing::EncBuf`
  --> ./9079C.rs:42:18
   |
42 |     type EncBuf: BufMut;
   |                  ^^^^^^ required by this bound in `Framing::EncBuf`

warning: trait objects without an explicit `dyn` are deprecated
  --> ./9079C.rs:51:5
   |
51 | /     ThriftService<
52 | |             SRHeaderTransport,
53 | |             Response = Bytes,
54 | |             Future = Box<Future<Item = Bytes>>,
55 | |         >,
   | |_________^
   |
   = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021!
   = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/warnings-promoted-to-error.html>
help: if this is an object-safe trait, use `dyn`
   |
51 |     dyn ThriftService<
   |     +++

warning: trait objects without an explicit `dyn` are deprecated
  --> ./9079C.rs:54:26
   |
54 |             Future = Box<Future<Item = Bytes>>,
   |                          ^^^^^^^^^^^^^^^^^^^^
   |
   = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021!
   = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/warnings-promoted-to-error.html>
help: if this is an object-safe trait, use `dyn`
   |
54 |             Future = Box<dyn Future<Item = Bytes>>,
   |                          +++

error[E0091]: type parameter `H` is never used
  --> ./9079C.rs:50:21
   |
50 | pub type BoxService<H> = Box<
   |                     ^ unused type parameter
   |
   = help: consider removing `H` or referring to it in the body of the type alias
   = help: if you intended `H` to be a const parameter, use `const H: /* Type */` instead

error[E0107]: missing generics for type alias `BoxService`
  --> ./9079C.rs:92:15
   |
92 |     F: FnMut1<BoxService>,
   |               ^^^^^^^^^^ expected 1 generic argument
   |
note: type alias defined here, with 1 generic parameter: `H`
  --> ./9079C.rs:50:10
   |
50 | pub type BoxService<H> = Box<
   |          ^^^^^^^^^^ -
help: add missing generic argument
   |
92 |     F: FnMut1<BoxService<H>>,
   |                         +++

error[E0277]: the trait bound `<F as Framing>::EncBuf: BufMutExt` is not satisfied
  --> ./9079C.rs:22:5
   |
22 | /     fn get_service(
23 | |         &self,
24 | |     ) -> &Service<
25 | |         Response = Self::Response,
26 | |         Future = Self::Future,
27 | |     >;
   | |______^ the trait `BufMutExt` is not implemented for `<F as Framing>::EncBuf`
   |
help: consider further restricting the associated type
   |
27 |     > where <F as Framing>::EncBuf: BufMutExt;
   |       +++++++++++++++++++++++++++++++++++++++

error[E0050]: method `poll_next` has 2 parameters but the declaration in trait `Stream::poll_next` has 1
  --> ./9079C.rs:96:24
   |
64 |     fn poll_next(self: Pin<&mut Self>) -> Poll<Option<Self::Item>>;
   |                        -------------- trait requires 1 parameter
...
96 |     fn poll_next(self: Pin<&mut Self>, cx: &mut Context<'_>) -> Poll<Option<Self::Item>> {
   |                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected 1 parameter, found 2

error[E0277]: the trait bound `<F as Framing>::EncBuf: BufMutExt` is not satisfied
  --> ./9079C.rs:24:10
   |
24 |       ) -> &Service<
   |  __________^
25 | |         Response = Self::Response,
26 | |         Future = Self::Future,
27 | |     >;
   | |_____^ the trait `BufMutExt` is not implemented for `<F as Framing>::EncBuf`
   |
help: consider further restricting the associated type
   |
27 |     > where <F as Framing>::EncBuf: BufMutExt;
   |       +++++++++++++++++++++++++++++++++++++++

warning: unused variable: `cx`
  --> ./9079C.rs:96:40
   |
96 |     fn poll_next(self: Pin<&mut Self>, cx: &mut Context<'_>) -> Poll<Option<Self::Item>> {
   |                                        ^^ help: if this is intentional, prefix it with an underscore: `_cx`
   |
   = note: `#[warn(unused_variables)]` on by default
```

</p>
</details>

<!--
Include a backtrace in the code block by setting `RUST_BACKTRACE=1` in your
environment. E.g. `RUST_BACKTRACE=1 cargo build`.
-->
<strong>Backtrace</strong>


```
error: internal compiler error: compiler/rustc_trait_selection/src/traits/select/confirmation.rs:242:17: Where clause `Binder { value: <F as FnOnce1<std::boxed::Box<(dyn ThriftService<SRHeaderTransport, Future = std::boxed::Box<(dyn Future<Item = Bytes> + 'static)>, Future = std::boxed::Box<(dyn Future<Item = Bytes> + 'static)>, Response = Bytes, Response = BytesMut> + 'static)>>>, bound_vars: [] }` was applicable to `Obligation(predicate=Binder { value: TraitPredicate(<F as FnOnce1<std::boxed::Box<dyn ThriftService<SRHeaderTransport, Future = std::boxed::Box<dyn Future<Item = Bytes>>, Future = std::boxed::Box<dyn Future<Item = Bytes>>, Response = Bytes, Response = BytesMut>>>>, polarity:Positive), bound_vars: [] }, depth=0)` but now is not

thread 'rustc' panicked at compiler/rustc_trait_selection/src/traits/select/confirmation.rs:242:17:
Box<dyn Any>
stack backtrace:
   0:        0x10e1e6b43 - <std::sys::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::he71f7af0ddafc64d
   1:        0x10e23225b - core::fmt::write::h30d0e266faff29b6
   2:        0x10e1dcace - std::io::Write::write_fmt::he666ca78eb4b8406
   3:        0x10e1e6931 - std::sys::backtrace::print::h22721f9ab9a2749a
   4:        0x10e1e9709 - std::panicking::default_hook::{{closure}}::h145e29ed875d8021
   5:        0x10e1e948a - std::panicking::default_hook::h5d437c7e6bf0e3b5
   6:        0x11748147c - std[8efa578c02603ef9]::panicking::update_hook::<alloc[135510a28be92df]::boxed::Box<rustc_driver_impl[63f2171535a6fe49]::install_ice_hook::{closure#0}>>::{closure#0}
   7:        0x10e1ea326 - std::panicking::rust_panic_with_hook::h6889093a56e48d04
   8:        0x1174f0337 - std[8efa578c02603ef9]::panicking::begin_panic::<rustc_errors[8995f93e9c4bcc9a]::ExplicitBug>::{closure#0}
   9:        0x1174dc949 - std[8efa578c02603ef9]::sys::backtrace::__rust_end_short_backtrace::<std[8efa578c02603ef9]::panicking::begin_panic<rustc_errors[8995f93e9c4bcc9a]::ExplicitBug>::{closure#0}, !>
  10:        0x11bee2f09 - std[8efa578c02603ef9]::panicking::begin_panic::<rustc_errors[8995f93e9c4bcc9a]::ExplicitBug>
  11:        0x117502276 - <rustc_errors[8995f93e9c4bcc9a]::diagnostic::BugAbort as rustc_errors[8995f93e9c4bcc9a]::diagnostic::EmissionGuarantee>::emit_producing_guarantee
  12:        0x11819c95e - rustc_middle[4384e439927f71dd]::util::bug::opt_span_bug_fmt::<rustc_span[aed5394308446158]::span_encoding::Span>::{closure#0}
  13:        0x1181522b7 - rustc_middle[4384e439927f71dd]::ty::context::tls::with_opt::<rustc_middle[4384e439927f71dd]::util::bug::opt_span_bug_fmt<rustc_span[aed5394308446158]::span_encoding::Span>::{closure#0}, !>::{closure#0}
  14:        0x118151d75 - rustc_middle[4384e439927f71dd]::ty::context::tls::with_context_opt::<rustc_middle[4384e439927f71dd]::ty::context::tls::with_opt<rustc_middle[4384e439927f71dd]::util::bug::opt_span_bug_fmt<rustc_span[aed5394308446158]::span_encoding::Span>::{closure#0}, !>::{closure#0}, !>
  15:        0x11bfa57eb - rustc_middle[4384e439927f71dd]::util::bug::bug_fmt
  16:        0x11917d658 - <rustc_trait_selection[2bb3b73d2222b57e]::traits::select::SelectionContext>::confirm_candidate
  17:        0x119180f86 - <rustc_trait_selection[2bb3b73d2222b57e]::traits::select::SelectionContext>::poly_select::{closure#0}
  18:        0x1190e7ced - <rustc_trait_selection[2bb3b73d2222b57e]::traits::select::SelectionContext>::select
  19:        0x11916cf75 - rustc_trait_selection[2bb3b73d2222b57e]::traits::project::opt_normalize_projection_term
  20:        0x1190d6772 - rustc_trait_selection[2bb3b73d2222b57e]::traits::project::normalize_projection_ty
  21:        0x119211b7d - rustc_traits[94d294c4931cbf40]::normalize_projection_ty::normalize_canonicalized_projection_ty
  22:        0x118b226b5 - rustc_query_impl[a24e9023943e74ab]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[a24e9023943e74ab]::query_impl::normalize_canonicalized_projection_ty::dynamic_query::{closure#2}::{closure#0}, rustc_middle[4384e439927f71dd]::query::erase::Erased<[u8; 8usize]>>
  23:        0x118aeb507 - <rustc_query_impl[a24e9023943e74ab]::query_impl::normalize_canonicalized_projection_ty::dynamic_query::{closure#2} as core[9412a59d758dca42]::ops::function::FnOnce<(rustc_middle[4384e439927f71dd]::ty::context::TyCtxt, rustc_type_ir[d9be17c5337dd5fe]::canonical::Canonical<rustc_middle[4384e439927f71dd]::ty::context::TyCtxt, rustc_middle[4384e439927f71dd]::ty::ParamEnvAnd<rustc_type_ir[d9be17c5337dd5fe]::ty_kind::AliasTy<rustc_middle[4384e439927f71dd]::ty::context::TyCtxt>>>)>>::call_once
  24:        0x118922d6d - rustc_query_system[30bd0146b5104221]::query::plumbing::try_execute_query::<rustc_query_impl[a24e9023943e74ab]::DynamicConfig<rustc_query_system[30bd0146b5104221]::query::caches::DefaultCache<rustc_type_ir[d9be17c5337dd5fe]::canonical::Canonical<rustc_middle[4384e439927f71dd]::ty::context::TyCtxt, rustc_middle[4384e439927f71dd]::ty::ParamEnvAnd<rustc_type_ir[d9be17c5337dd5fe]::ty_kind::AliasTy<rustc_middle[4384e439927f71dd]::ty::context::TyCtxt>>>, rustc_middle[4384e439927f71dd]::query::erase::Erased<[u8; 8usize]>>, false, false, false>, rustc_query_impl[a24e9023943e74ab]::plumbing::QueryCtxt, false>
  25:        0x118b7b42c - rustc_query_impl[a24e9023943e74ab]::query_impl::normalize_canonicalized_projection_ty::get_query_non_incr::__rust_end_short_backtrace
  26:        0x118fc002b - rustc_middle[4384e439927f71dd]::query::plumbing::query_get_at::<rustc_query_system[30bd0146b5104221]::query::caches::DefaultCache<rustc_type_ir[d9be17c5337dd5fe]::canonical::Canonical<rustc_middle[4384e439927f71dd]::ty::context::TyCtxt, rustc_middle[4384e439927f71dd]::ty::ParamEnvAnd<rustc_type_ir[d9be17c5337dd5fe]::ty_kind::AliasTy<rustc_middle[4384e439927f71dd]::ty::context::TyCtxt>>>, rustc_middle[4384e439927f71dd]::query::erase::Erased<[u8; 8usize]>>>
  27:        0x1191725f5 - <rustc_trait_selection[2bb3b73d2222b57e]::traits::query::normalize::QueryNormalizer as rustc_type_ir[d9be17c5337dd5fe]::fold::FallibleTypeFolder<rustc_middle[4384e439927f71dd]::ty::context::TyCtxt>>::try_fold_ty
  28:        0x118ffc2c1 - <&rustc_middle[4384e439927f71dd]::ty::list::RawList<(), rustc_middle[4384e439927f71dd]::ty::generic_args::GenericArg> as rustc_type_ir[d9be17c5337dd5fe]::fold::TypeFoldable<rustc_middle[4384e439927f71dd]::ty::context::TyCtxt>>::try_fold_with::<rustc_trait_selection[2bb3b73d2222b57e]::traits::query::normalize::QueryNormalizer>
  29:        0x1190125fd - <rustc_middle[4384e439927f71dd]::ty::Ty as rustc_type_ir[d9be17c5337dd5fe]::fold::TypeSuperFoldable<rustc_middle[4384e439927f71dd]::ty::context::TyCtxt>>::try_super_fold_with::<rustc_trait_selection[2bb3b73d2222b57e]::traits::query::normalize::QueryNormalizer>
  30:        0x11917225d - <rustc_trait_selection[2bb3b73d2222b57e]::traits::query::normalize::QueryNormalizer as rustc_type_ir[d9be17c5337dd5fe]::fold::FallibleTypeFolder<rustc_middle[4384e439927f71dd]::ty::context::TyCtxt>>::try_fold_ty
  31:        0x118ffc2c1 - <&rustc_middle[4384e439927f71dd]::ty::list::RawList<(), rustc_middle[4384e439927f71dd]::ty::generic_args::GenericArg> as rustc_type_ir[d9be17c5337dd5fe]::fold::TypeFoldable<rustc_middle[4384e439927f71dd]::ty::context::TyCtxt>>::try_fold_with::<rustc_trait_selection[2bb3b73d2222b57e]::traits::query::normalize::QueryNormalizer>
  32:        0x1190125fd - <rustc_middle[4384e439927f71dd]::ty::Ty as rustc_type_ir[d9be17c5337dd5fe]::fold::TypeSuperFoldable<rustc_middle[4384e439927f71dd]::ty::context::TyCtxt>>::try_super_fold_with::<rustc_trait_selection[2bb3b73d2222b57e]::traits::query::normalize::QueryNormalizer>
  33:        0x11917225d - <rustc_trait_selection[2bb3b73d2222b57e]::traits::query::normalize::QueryNormalizer as rustc_type_ir[d9be17c5337dd5fe]::fold::FallibleTypeFolder<rustc_middle[4384e439927f71dd]::ty::context::TyCtxt>>::try_fold_ty
  34:        0x1192149dd - rustc_traits[94d294c4931cbf40]::type_op::type_op_normalize_ty
  35:        0x118b1ff9d - rustc_query_impl[a24e9023943e74ab]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[a24e9023943e74ab]::query_impl::type_op_normalize_ty::dynamic_query::{closure#2}::{closure#0}, rustc_middle[4384e439927f71dd]::query::erase::Erased<[u8; 8usize]>>
  36:        0x118ad2e1f - <rustc_query_impl[a24e9023943e74ab]::query_impl::type_op_normalize_ty::dynamic_query::{closure#2} as core[9412a59d758dca42]::ops::function::FnOnce<(rustc_middle[4384e439927f71dd]::ty::context::TyCtxt, rustc_type_ir[d9be17c5337dd5fe]::canonical::Canonical<rustc_middle[4384e439927f71dd]::ty::context::TyCtxt, rustc_middle[4384e439927f71dd]::ty::ParamEnvAnd<rustc_middle[4384e439927f71dd]::traits::query::type_op::Normalize<rustc_middle[4384e439927f71dd]::ty::Ty>>>)>>::call_once
  37:        0x11892b2ee - rustc_query_system[30bd0146b5104221]::query::plumbing::try_execute_query::<rustc_query_impl[a24e9023943e74ab]::DynamicConfig<rustc_query_system[30bd0146b5104221]::query::caches::DefaultCache<rustc_type_ir[d9be17c5337dd5fe]::canonical::Canonical<rustc_middle[4384e439927f71dd]::ty::context::TyCtxt, rustc_middle[4384e439927f71dd]::ty::ParamEnvAnd<rustc_middle[4384e439927f71dd]::traits::query::type_op::Normalize<rustc_middle[4384e439927f71dd]::ty::Ty>>>, rustc_middle[4384e439927f71dd]::query::erase::Erased<[u8; 8usize]>>, false, false, false>, rustc_query_impl[a24e9023943e74ab]::plumbing::QueryCtxt, false>
  38:        0x118b848d1 - rustc_query_impl[a24e9023943e74ab]::query_impl::type_op_normalize_ty::get_query_non_incr::__rust_end_short_backtrace
  39:        0x1190e2121 - <rustc_middle[4384e439927f71dd]::ty::Ty as rustc_trait_selection[2bb3b73d2222b57e]::traits::query::type_op::normalize::Normalizable>::type_op_method
  40:        0x116e889e5 - <rustc_middle[4384e439927f71dd]::ty::ParamEnvAnd<rustc_middle[4384e439927f71dd]::traits::query::type_op::Normalize<rustc_middle[4384e439927f71dd]::ty::Ty>> as rustc_trait_selection[2bb3b73d2222b57e]::traits::query::type_op::TypeOp>::fully_perform
  41:        0x116fa47d1 - <rustc_borrowck[89ec071876429d81]::type_check::TypeChecker>::fully_perform_op::<rustc_middle[4384e439927f71dd]::ty::Ty, rustc_middle[4384e439927f71dd]::ty::ParamEnvAnd<rustc_middle[4384e439927f71dd]::traits::query::type_op::Normalize<rustc_middle[4384e439927f71dd]::ty::Ty>>>
  42:        0x116fb307a - <rustc_borrowck[89ec071876429d81]::type_check::TypeChecker>::equate_normalized_input_or_output
  43:        0x116f6ecad - rustc_borrowck[89ec071876429d81]::type_check::type_check
  44:        0x116f417e8 - rustc_borrowck[89ec071876429d81]::nll::compute_regions
  45:        0x116fc65fa - rustc_borrowck[89ec071876429d81]::do_mir_borrowck
  46:        0x116f82b78 - rustc_borrowck[89ec071876429d81]::mir_borrowck
  47:        0x118b1c6dc - rustc_query_impl[a24e9023943e74ab]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[a24e9023943e74ab]::query_impl::mir_borrowck::dynamic_query::{closure#2}::{closure#0}, rustc_middle[4384e439927f71dd]::query::erase::Erased<[u8; 8usize]>>
  48:        0x11899939e - rustc_query_system[30bd0146b5104221]::query::plumbing::try_execute_query::<rustc_query_impl[a24e9023943e74ab]::DynamicConfig<rustc_query_system[30bd0146b5104221]::query::caches::VecCache<rustc_hir[ae2456c39d7f6170]::hir_id::OwnerId, rustc_middle[4384e439927f71dd]::query::erase::Erased<[u8; 8usize]>>, false, false, false>, rustc_query_impl[a24e9023943e74ab]::plumbing::QueryCtxt, false>
  49:        0x118b4686b - rustc_query_impl[a24e9023943e74ab]::query_impl::mir_borrowck::get_query_non_incr::__rust_end_short_backtrace
  50:        0x117d466b1 - <rustc_middle[4384e439927f71dd]::hir::map::Map>::par_body_owners::<rustc_interface[73216d77aad0c3a5]::passes::run_required_analyses::{closure#1}::{closure#0}>::{closure#0}
  51:        0x117dda7fc - rustc_interface[73216d77aad0c3a5]::passes::run_required_analyses
  52:        0x117ddccb3 - rustc_interface[73216d77aad0c3a5]::passes::analysis
  53:        0x118b22dec - rustc_query_impl[a24e9023943e74ab]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[a24e9023943e74ab]::query_impl::analysis::dynamic_query::{closure#2}::{closure#0}, rustc_middle[4384e439927f71dd]::query::erase::Erased<[u8; 1usize]>>
  54:        0x11890249e - rustc_query_system[30bd0146b5104221]::query::plumbing::try_execute_query::<rustc_query_impl[a24e9023943e74ab]::DynamicConfig<rustc_query_system[30bd0146b5104221]::query::caches::SingleCache<rustc_middle[4384e439927f71dd]::query::erase::Erased<[u8; 1usize]>>, false, false, false>, rustc_query_impl[a24e9023943e74ab]::plumbing::QueryCtxt, false>
  55:        0x118b2d307 - rustc_query_impl[a24e9023943e74ab]::query_impl::analysis::get_query_non_incr::__rust_end_short_backtrace
  56:        0x1174258d7 - <rustc_interface[73216d77aad0c3a5]::queries::QueryResult<&rustc_middle[4384e439927f71dd]::ty::context::GlobalCtxt>>::enter::<core[9412a59d758dca42]::result::Result<(), rustc_span[aed5394308446158]::ErrorGuaranteed>, rustc_driver_impl[63f2171535a6fe49]::run_compiler::{closure#0}::{closure#1}::{closure#3}>
  57:        0x11747fc94 - rustc_interface[73216d77aad0c3a5]::interface::run_compiler::<core[9412a59d758dca42]::result::Result<(), rustc_span[aed5394308446158]::ErrorGuaranteed>, rustc_driver_impl[63f2171535a6fe49]::run_compiler::{closure#0}>::{closure#1}
  58:        0x11746ec91 - std[8efa578c02603ef9]::sys::backtrace::__rust_begin_short_backtrace::<rustc_interface[73216d77aad0c3a5]::util::run_in_thread_with_globals<rustc_interface[73216d77aad0c3a5]::util::run_in_thread_pool_with_globals<rustc_interface[73216d77aad0c3a5]::interface::run_compiler<core[9412a59d758dca42]::result::Result<(), rustc_span[aed5394308446158]::ErrorGuaranteed>, rustc_driver_impl[63f2171535a6fe49]::run_compiler::{closure#0}>::{closure#1}, core[9412a59d758dca42]::result::Result<(), rustc_span[aed5394308446158]::ErrorGuaranteed>>::{closure#0}, core[9412a59d758dca42]::result::Result<(), rustc_span[aed5394308446158]::ErrorGuaranteed>>::{closure#0}::{closure#0}, core[9412a59d758dca42]::result::Result<(), rustc_span[aed5394308446158]::ErrorGuaranteed>>
  59:        0x11748a3a6 - <<std[8efa578c02603ef9]::thread::Builder>::spawn_unchecked_<rustc_interface[73216d77aad0c3a5]::util::run_in_thread_with_globals<rustc_interface[73216d77aad0c3a5]::util::run_in_thread_pool_with_globals<rustc_interface[73216d77aad0c3a5]::interface::run_compiler<core[9412a59d758dca42]::result::Result<(), rustc_span[aed5394308446158]::ErrorGuaranteed>, rustc_driver_impl[63f2171535a6fe49]::run_compiler::{closure#0}>::{closure#1}, core[9412a59d758dca42]::result::Result<(), rustc_span[aed5394308446158]::ErrorGuaranteed>>::{closure#0}, core[9412a59d758dca42]::result::Result<(), rustc_span[aed5394308446158]::ErrorGuaranteed>>::{closure#0}::{closure#0}, core[9412a59d758dca42]::result::Result<(), rustc_span[aed5394308446158]::ErrorGuaranteed>>::{closure#2} as core[9412a59d758dca42]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
  60:        0x10e1f352b - std::sys::pal::unix::thread::Thread::new::thread_start::h68d49fa26efc1659
  61:     0x7ff801f5318b - __pthread_start

note: we would appreciate a bug report: https://github.com/rust-lang/rust/issues/new?labels=C-bug%2C+I-ICE%2C+T-compiler&template=ice.md

note: please make sure that you have updated to the latest nightly

note: please attach the file at `/Users/Documents/240624-58194.txt` to your bug report

query stack during panic:
#0 [normalize_canonicalized_projection_ty] normalizing `<F as FnOnce1<alloc::boxed::Box<dyn ThriftService<SRHeaderTransport, Future = alloc::boxed::Box<dyn Future<Item = Bytes>>, Future = alloc::boxed::Box<dyn Future<Item = Bytes>>, Response = Bytes, Response = BytesMut>>>>::Output`
#1 [type_op_normalize_ty] normalizing `core::task::poll::Poll<core::option::Option<<F as FnOnce1<alloc::boxed::Box<dyn ThriftService<SRHeaderTransport, Future = alloc::boxed::Box<dyn Future<Item = Bytes>>, Future = alloc::boxed::Box<dyn Future<Item = Bytes>>, Response = Bytes, Response = BytesMut>>>>::Output>>`
end of query stack
error: aborting due to 10 previous errors; 5 warnings emitted

Some errors have detailed explanations: E0050, E0091, E0107, E0277.
For more information about an error, try `rustc --explain E0050`.
```