thread 'rustc' panicked at 'called Option::unwrap() on a None value', compiler/rustc_metadata/src/rmeta/def_path_hash_map.rs:23:85
#100521
Assignees
Labels
A-incr-comp
Area: Incremental compilation
C-bug
Category: This is a bug.
I-ICE
Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️
S-has-mcve
Status: A Minimal Complete and Verifiable Example has been found for this issue
T-compiler
Relevant to the compiler team, which will review and decide on the PR/issue.
Comments
Turbo87
added
C-bug
|
also FWIW |
TaKO8Ki
added
the
E-needs-mcve
|
I can reproduce getting an ICE with |
|
I’ve started some reduction work: (edit: there’s a full MCVE below; this fork will be deleted eventually) Interestingly, this reduced example’s ICE looks slightly different, I just noticed: …click to show full output… |
|
Minimized: pub fn foo() {
bar();
baz::<()>();
}
fn bar()
where
<() as Table>::AllColumns:,
{
}
fn baz<W>()
where
W: AsQuery,
<W as AsQuery>::Query:,
{
}
trait AsQuery {
type Query;
}
trait UnimplementedTrait {}
impl<T> AsQuery for T
where
T: UnimplementedTrait,
{
type Query = ();
}
struct Wrapper<Expr>(Expr);
impl<Ret> AsQuery for Wrapper<Ret> {
type Query = ();
}
impl AsQuery for ()
where
Wrapper<<() as Table>::AllColumns>: AsQuery,
{
type Query = ();
}
trait Table {
type AllColumns;
}
impl Table for () {
- type AllColumns = Checksum1;
+ type AllColumns = Checksum2;
}
- struct Checksum1;
+ struct Checksum2;@rustbot label -E-needs-mcve +S-bug-has-mcve full reproduction instructions (e.g. if someone wants to add this to glacier), and backtracein pub fn foo() {
bar();
baz::<()>();
}
fn bar()
where
<() as Table>::AllColumns:,
{
}
fn baz<W>()
where
W: AsQuery,
<W as AsQuery>::Query:,
{
}
trait AsQuery {
type Query;
}
trait UnimplementedTrait {}
impl<T> AsQuery for T
where
T: UnimplementedTrait,
{
type Query = ();
}
struct Wrapper<Expr>(Expr);
impl<Ret> AsQuery for Wrapper<Ret> {
type Query = ();
}
impl AsQuery for ()
where
Wrapper<<() as Table>::AllColumns>: AsQuery,
{
type Query = ();
}
trait Table {
type AllColumns;
}
impl Table for () {
type AllColumns = Checksum1;
}
struct Checksum1;Then do cargo c; sed -i 's/Checksum1/Checksum2/g' src/lib.rs; cargo cBacktrace |
rustbot
added
S-has-mcve
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Code
Unfortunately I don't have a minimal reproduction for this 😞
https://github.com/Turbo87/crates.io/tree/ice (e6a7ce4957cc7f9cb8bffd2f0e8857744be64188) is the state of the repo at the time where it happened.
Meta
rustc --version --verbose:Error output
The text was updated successfully, but these errors were encountered: