cyrgani
commented
1 week ago Reduced:
trait Producer {
type Produced;
fn make_one() -> Self::Produced;
}
impl<E: ?Sized> Producer for () {
type Produced = Option<E>;
fn make_one() -> Self::Produced {
loop {}
}
}
Code
Meta
rustc --version --verbose:nightly panics as well
Error output
Backtrace
``` Compiling compiler-panick v0.1.0 (/a-path/a-path/a-path/compiler-panick) error[E0207]: the type parameter `E` is not constrained by the impl trait, self type, or predicates --> src/lib.rs:9:9 | 9 | impl Producer for ResultProducer
| ^ unconstrained type parameter
error[E0277]: the size for values of type `E` cannot be known at compilation time
--> src/lib.rs:14:21
|
9 | impl Producer for ResultProducer
| - this type parameter needs to be `Sized`
...
14 | type Produced = Result;
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
|
note: required by an implicit `Sized` bound in `Result`
--> /a-path/a-path/.rustup/toolchains/stable-aarch64-apple-darwin/lib/rustlib/src/rust/library/core/src/result.rs:527:20
|
527 | pub enum Result {
| ^ required by the implicit `Sized` requirement on this type parameter in `Result`
help: consider removing the `?Sized` bound to make the type parameter `Sized`
|
11 - E: ?Sized,
|
error[E0282]: type annotations needed
--> src/lib.rs:17:9
|
17 | Ok(self.delegate.make_one())
| ^^ cannot infer type of the type parameter `E` declared on the enum `Result`
|
help: consider specifying the generic arguments
|
17 | Ok::(self.delegate.make_one())
| ++++++++
thread 'rustc' panicked at /rustc/eeb90cda1969383f56a2637cbd3037bdf598841c/compiler/rustc_type_ir/src/ty_kind.rs:892:17:
type variables should not be hashed: ?0t
stack backtrace:
0: _rust_begin_unwind
1: core::panicking::panic_fmt
2: >::hash_stable
3: > as rustc_data_structures::stable_hasher::HashStable>::hash_stable
4: <&rustc_middle::ty::list::RawList<(), rustc_middle::ty::generic_args::GenericArg> as rustc_data_structures::stable_hasher::HashStable>::hash_stable
5: > as rustc_data_structures::stable_hasher::HashStable>::hash_stable
6: )>>::call_once
7: rustc_query_system::query::plumbing::try_execute_query::, rustc_middle::query::erase::Erased<[u8; 8]>>, false, false, false>, rustc_query_impl::plumbing::QueryCtxt, true>
8: rustc_middle::query::plumbing::query_get_at::, rustc_middle::query::erase::Erased<[u8; 8]>>>
9: ::try_normalize_erasing_regions::
10: ::run_pass
11: rustc_mir_transform::pass_manager::run_passes_inner
12: rustc_mir_transform::run_analysis_to_runtime_passes
13: rustc_mir_transform::mir_drops_elaborated_and_const_checked
[... omitted 2 frames ...]
14: rustc_interface::passes::analysis
[... omitted 2 frames ...]
15: >::enter::, rustc_driver_impl::run_compiler::{closure#0}::{closure#1}::{closure#5}>
16: ::enter::, rustc_span::ErrorGuaranteed>>
17: >::set::, rustc_driver_impl::run_compiler::{closure#0}>::{closure#1}, core::result::Result<(), rustc_span::ErrorGuaranteed>>::{closure#0}::{closure#0}::{closure#0}, core::result::Result<(), rustc_span::ErrorGuaranteed>>
18: rustc_span::create_session_globals_then::, rustc_interface::util::run_in_thread_with_globals, rustc_driver_impl::run_compiler::{closure#0}>::{closure#1}, core::result::Result<(), rustc_span::ErrorGuaranteed>>::{closure#0}::{closure#0}::{closure#0}>
note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace.
error: the compiler unexpectedly panicked. this is a bug.
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: rustc 1.81.0 (eeb90cda1 2024-09-04) running on aarch64-apple-darwin
note: compiler flags: --crate-type lib -C embed-bitcode=no -C debuginfo=2 -C split-debuginfo=unpacked -C incremental=[REDACTED]
note: some of the compiler flags provided by cargo are hidden
query stack during panic:
#0 [try_normalize_generic_arg_after_erasing_regions] normalizing ` as Producer>::Produced`
#1 [mir_drops_elaborated_and_const_checked] elaborating drops for `::make_one`
#2 [analysis] running analysis passes on this crate
end of query stack
error[E0282]: type annotations needed
--> src/lib.rs:16:27
|
16 | fn make_one(&self) -> Self::Produced {
| ^^^^^^^^^^^^^^ cannot infer type for type parameter `E`
Some errors have detailed explanations: E0207, E0277, E0282.
For more information about an error, try `rustc --explain E0207`.
error: could not compile `compiler-panick` (lib) due to 4 previous errors
```