Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Found unstable fingerprints for type_op_prove_predicate(967346dc9c3138c4-f8a08220f2e7195b) #105112

Open
kpp opened this issue Dec 1, 2022 · 1 comment
Open

Found unstable fingerprints for type_op_prove_predicate(967346dc9c3138c4-f8a08220f2e7195b) #105112

kpp opened this issue Dec 1, 2022 · 1 comment
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-needs-repro Status: This issue has no reproduction and needs a reproduction to make progress. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.

Comments

@kpp
Copy link
Contributor

kpp commented Dec 1, 2022

Code

Unfortunately it is not reproducable. Linked issue: #84970

Meta

rustc --version --verbose:

rustc 1.67.0-nightly (c1a859b25 2022-11-10)
binary: rustc
commit-hash: c1a859b25a95999ba276075bbd8e284ea675b41a
commit-date: 2022-11-10
host: x86_64-unknown-linux-gnu
release: 1.67.0-nightly
LLVM version: 15.0.4

Error output

Backtrace 

thread '<unnamed>' panicked at 'Found unstable fingerprints for type_op_prove_predicate(967346dc9c3138c4-f8a08220f2e7195b): Ok(Canonical { max_universe: U30, variables: [CanonicalVarInfo { kind: Region(U0) }, CanonicalVarInfo { kind: Region(U0) }, CanonicalVarInfo { kind: Region(U0) }, CanonicalVarInfo { kind: Region(U0) }, CanonicalVarInfo { kind: Region(U8) }, CanonicalVarInfo { kind: Region(U0) }, CanonicalVarInfo { kind: Region(U8) }, CanonicalVarInfo { kind: PlaceholderRegion(Placeholder { universe: U1, name: BrAnon(0, None) }) }, CanonicalVarInfo { kind: Region(U8) }, CanonicalVarInfo { kind: PlaceholderRegion(Placeholder { universe: U2, name: BrAnon(1, None) }) }, CanonicalVarInfo { kind: Region(U21) }, CanonicalVarInfo { kind: PlaceholderRegion(Placeholder { universe: U3, name: BrAnon(2, None) }) }, CanonicalVarInfo { kind: Region(U8) }, CanonicalVarInfo { kind: PlaceholderRegion(Placeholder { universe: U4, name: BrAnon(3, None) }) }, CanonicalVarInfo { kind: Region(U8) }, CanonicalVarInfo { kind: PlaceholderRegion(Placeholder { universe: U5, name: BrAnon(4, None) }) }, CanonicalVarInfo { kind: Region(U21) }, CanonicalVarInfo { kind: PlaceholderRegion(Placeholder { universe: U6, name: BrAnon(5, None) }) }, CanonicalVarInfo { kind: Region(U8) }, CanonicalVarInfo { kind: PlaceholderRegion(Placeholder { universe: U7, name: BrAnon(7, None) }) }, CanonicalVarInfo { kind: Region(U21) }, CanonicalVarInfo { kind: PlaceholderRegion(Placeholder { universe: U9, name: BrAnon(0, None) }) }, CanonicalVarInfo { kind: Region(U21) }, CanonicalVarInfo { kind: PlaceholderRegion(Placeholder { universe: U10, name: BrAnon(1, None) }) }, CanonicalVarInfo { kind: Region(U21) }, CanonicalVarInfo { kind: PlaceholderRegion(Placeholder { universe: U11, name: BrAnon(0, None) }) }, CanonicalVarInfo { kind: Region(U21) }, CanonicalVarInfo { kind: PlaceholderRegion(Placeholder { universe: U12, name: BrAnon(1, None) }) }, CanonicalVarInfo { kind: Region(U21) }, CanonicalVarInfo { kind: PlaceholderRegion(Placeholder { universe: U13, name: BrAnon(1, None) }) }, CanonicalVarInfo { kind: Region(U21) }, CanonicalVarInfo { kind: PlaceholderRegion(Placeholder { universe: U14, name: BrAnon(2, Some(crates/server/src/grpc.rs:76:25: 76:38 (#620))) }) }, CanonicalVarInfo { kind: Region(U21) }, CanonicalVarInfo { kind: Region(U21) }, CanonicalVarInfo { kind: PlaceholderRegion(Placeholder { universe: U15, name: BrAnon(3, None) }) }, CanonicalVarInfo { kind: Region(U21) }, CanonicalVarInfo { kind: Region(U23) }, CanonicalVarInfo { kind: PlaceholderRegion(Placeholder { universe: U16, name: BrAnon(5, None) }) }, CanonicalVarInfo { kind: Region(U23) }, CanonicalVarInfo { kind: Region(U21) }, CanonicalVarInfo { kind: PlaceholderRegion(Placeholder { universe: U17, name: BrAnon(6, Some(crates/server/src/grpc.rs:76:25: 76:38 (#620))) }) }, CanonicalVarInfo { kind: Region(U21) }, CanonicalVarInfo { kind: PlaceholderRegion(Placeholder { universe: U17, name: BrAnon(7, Some(crates/server/src/grpc.rs:76:25: 76:38 (#620))) }) }, CanonicalVarInfo { kind: Region(U21) }, CanonicalVarInfo { kind: PlaceholderRegion(Placeholder { universe: U18, name: BrAnon(8, None) }) }, CanonicalVarInfo { kind: Region(U21) }, CanonicalVarInfo { kind: PlaceholderRegion(Placeholder { universe: U19, name: BrAnon(9, None) }) }, CanonicalVarInfo { kind: Region(U21) }, CanonicalVarInfo { kind: PlaceholderRegion(Placeholder { universe: U20, name: BrAnon(10, None) }) }, CanonicalVarInfo { kind: Region(U23) }, CanonicalVarInfo { kind: PlaceholderRegion(Placeholder { universe: U21, name: BrAnon(11, None) }) }, CanonicalVarInfo { kind: Region(U23) }, CanonicalVarInfo { kind: PlaceholderRegion(Placeholder { universe: U22, name: BrAnon(0, None) }) }, CanonicalVarInfo { kind: Region(U25) }, CanonicalVarInfo { kind: PlaceholderRegion(Placeholder { universe: U23, name: BrAnon(1, None) }) }, CanonicalVarInfo { kind: Region(U25) }, CanonicalVarInfo { kind: PlaceholderRegion(Placeholder { universe: U24, name: BrAnon(0, None) }) }, CanonicalVarInfo { kind: Region(U30) }, CanonicalVarInfo { kind: PlaceholderRegion(Placeholder { universe: U25, name: BrAnon(1, None) }) }, CanonicalVarInfo { kind: Region(U30) }, CanonicalVarInfo { kind: PlaceholderRegion(Placeholder { universe: U26, name: BrAnon(0, None) }) }, CanonicalVarInfo { kind: Region(U30) }, CanonicalVarInfo { kind: PlaceholderRegion(Placeholder { universe: U27, name: BrAnon(1, None) }) }, CanonicalVarInfo { kind: Region(U30) }, CanonicalVarInfo { kind: PlaceholderRegion(Placeholder { universe: U28, name: BrAnon(2, None) }) }, CanonicalVarInfo { kind: Region(U30) }, CanonicalVarInfo { kind: PlaceholderRegion(Placeholder { universe: U29, name: BrAnon(3, None) }) }, CanonicalVarInfo { kind: Region(U30) }, CanonicalVarInfo { kind: PlaceholderRegion(Placeholder { universe: U30, name: BrAnon(4, None) }) }], value: QueryResponse { var_values: CanonicalVarValues { var_values: [ReLateBound(DebruijnIndex(0), BoundRegion { var: 0, kind: BrAnon(0, None) }), ReLateBound(DebruijnIndex(0), BoundRegion { var: 1, kind: BrAnon(1, None) }), ReLateBound(DebruijnIndex(0), BoundRegion { var: 2, kind: BrAnon(2, None) }), ReLateBound(DebruijnIndex(0), BoundRegion { var: 3, kind: BrAnon(3, None) }), ReLateBound(DebruijnIndex(0), BoundRegion { var: 4, kind: BrAnon(4, None) }), ReLateBound(DebruijnIndex(0), BoundRegion { var: 5, kind: BrAnon(5, None) })] }, region_constraints: QueryRegionConstraints { outlives: [(Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 4, kind: BrAnon(4, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 4, kind: BrAnon(4, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 4, kind: BrAnon(4, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 4, kind: BrAnon(4, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 6, kind: BrAnon(6, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 7, kind: BrAnon(7, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 8, kind: BrAnon(8, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 9, kind: BrAnon(9, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 10, kind: BrAnon(10, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 11, kind: BrAnon(11, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 12, kind: BrAnon(12, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 13, kind: BrAnon(13, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 14, kind: BrAnon(14, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 15, kind: BrAnon(15, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 16, kind: BrAnon(16, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 17, kind: BrAnon(17, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 18, kind: BrAnon(18, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 19, kind: BrAnon(19, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 20, kind: BrAnon(20, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 21, kind: BrAnon(21, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 22, kind: BrAnon(22, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 23, kind: BrAnon(23, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 24, kind: BrAnon(24, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 25, kind: BrAnon(25, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 26, kind: BrAnon(26, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 27, kind: BrAnon(27, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 28, kind: BrAnon(28, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 29, kind: BrAnon(29, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 30, kind: BrAnon(30, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 31, kind: BrAnon(31, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 32, kind: BrAnon(32, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 31, kind: BrAnon(31, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 33, kind: BrAnon(33, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 34, kind: BrAnon(34, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 35, kind: BrAnon(35, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 34, kind: BrAnon(34, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 36, kind: BrAnon(36, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 37, kind: BrAnon(37, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 38, kind: BrAnon(38, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 37, kind: BrAnon(37, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 39, kind: BrAnon(39, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 40, kind: BrAnon(40, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 41, kind: BrAnon(41, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 42, kind: BrAnon(42, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 43, kind: BrAnon(43, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 44, kind: BrAnon(44, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 45, kind: BrAnon(45, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 46, kind: BrAnon(46, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 47, kind: BrAnon(47, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 48, kind: BrAnon(48, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 49, kind: BrAnon(49, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 50, kind: BrAnon(50, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 51, kind: BrAnon(51, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 52, kind: BrAnon(52, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 53, kind: BrAnon(53, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 54, kind: BrAnon(54, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 55, kind: BrAnon(55, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 56, kind: BrAnon(56, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 57, kind: BrAnon(57, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 58, kind: BrAnon(58, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 59, kind: BrAnon(59, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 60, kind: BrAnon(60, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 61, kind: BrAnon(61, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 62, kind: BrAnon(62, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 63, kind: BrAnon(63, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 64, kind: BrAnon(64, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 65, kind: BrAnon(65, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 66, kind: BrAnon(66, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 67, kind: BrAnon(67, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 68, kind: BrAnon(68, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 7, kind: BrAnon(7, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 6, kind: BrAnon(6, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 9, kind: BrAnon(9, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 8, kind: BrAnon(8, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 13, kind: BrAnon(13, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 12, kind: BrAnon(12, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 15, kind: BrAnon(15, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 14, kind: BrAnon(14, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 19, kind: BrAnon(19, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 18, kind: BrAnon(18, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 11, kind: BrAnon(11, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 10, kind: BrAnon(10, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 21, kind: BrAnon(21, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 20, kind: BrAnon(20, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 17, kind: BrAnon(17, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 16, kind: BrAnon(16, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 25, kind: BrAnon(25, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 24, kind: BrAnon(24, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 29, kind: BrAnon(29, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 28, kind: BrAnon(28, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 44, kind: BrAnon(44, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 43, kind: BrAnon(43, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 46, kind: BrAnon(46, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 45, kind: BrAnon(45, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 48, kind: BrAnon(48, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 47, kind: BrAnon(47, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 23, kind: BrAnon(23, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 22, kind: BrAnon(22, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 27, kind: BrAnon(27, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 26, kind: BrAnon(26, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 40, kind: BrAnon(40, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 39, kind: BrAnon(39, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 42, kind: BrAnon(42, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 41, kind: BrAnon(41, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 31, kind: BrAnon(31, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 30, kind: BrAnon(30, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 31, kind: BrAnon(31, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 32, kind: BrAnon(32, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 34, kind: BrAnon(34, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 33, kind: BrAnon(33, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 34, kind: BrAnon(34, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 35, kind: BrAnon(35, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 37, kind: BrAnon(37, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 36, kind: BrAnon(36, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 37, kind: BrAnon(37, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 38, kind: BrAnon(38, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 50, kind: BrAnon(50, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 49, kind: BrAnon(49, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 52, kind: BrAnon(52, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 51, kind: BrAnon(51, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 54, kind: BrAnon(54, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 53, kind: BrAnon(53, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 56, kind: BrAnon(56, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 55, kind: BrAnon(55, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 58, kind: BrAnon(58, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 57, kind: BrAnon(57, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 60, kind: BrAnon(60, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 59, kind: BrAnon(59, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 62, kind: BrAnon(62, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 61, kind: BrAnon(61, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 64, kind: BrAnon(64, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 63, kind: BrAnon(63, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 66, kind: BrAnon(66, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 65, kind: BrAnon(65, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(ReLateBound(DebruijnIndex(1), BoundRegion { var: 68, kind: BrAnon(68, None) }), ReLateBound(DebruijnIndex(1), BoundRegion { var: 67, kind: BrAnon(67, None) })), []), BoringNoLocation), (Binder(OutlivesPredicate(impl futures::Future<Output = std::result::Result<tonic::Response<api::console::CreateAccountResponse>, tonic::Status>>, ReLateBound(DebruijnIndex(1), BoundRegion { var: 5, kind: BrAnon(5, None) })), []), BoringNoLocation)], member_constraints: [] }, certainty: Proven, opaque_types: [], value: () } })', compiler/rustc_query_system/src/query/plumbing.rs:664:9
stack backtrace:
   0:     0x7f204f87c520 - std::backtrace_rs::backtrace::libunwind::trace::h1c0259b0e54a0ec7
                               at /rustc/c1a859b25a95999ba276075bbd8e284ea675b41a/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5
   1:     0x7f204f87c520 - std::backtrace_rs::backtrace::trace_unsynchronized::hef156fa43f257fff
                               at /rustc/c1a859b25a95999ba276075bbd8e284ea675b41a/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
   2:     0x7f204f87c520 - std::sys_common::backtrace::_print_fmt::h14c30be4df8a453b
                               at /rustc/c1a859b25a95999ba276075bbd8e284ea675b41a/library/std/src/sys_common/backtrace.rs:65:5
   3:     0x7f204f87c520 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::h6bc9ef49ac207d73
                               at /rustc/c1a859b25a95999ba276075bbd8e284ea675b41a/library/std/src/sys_common/backtrace.rs:44:22
   4:     0x7f204f8de63e - core::fmt::write::h670e2d8b480677bf
                               at /rustc/c1a859b25a95999ba276075bbd8e284ea675b41a/library/core/src/fmt/mod.rs:1209:17
   5:     0x7f204f86c795 - std::io::Write::write_fmt::h96cca416c9a25a8f
                               at /rustc/c1a859b25a95999ba276075bbd8e284ea675b41a/library/std/src/io/mod.rs:1682:15
   6:     0x7f204f87c2e5 - std::sys_common::backtrace::_print::h209eac292799b1d3
                               at /rustc/c1a859b25a95999ba276075bbd8e284ea675b41a/library/std/src/sys_common/backtrace.rs:47:5
   7:     0x7f204f87c2e5 - std::sys_common::backtrace::print::h02ded1b579fe176b
                               at /rustc/c1a859b25a95999ba276075bbd8e284ea675b41a/library/std/src/sys_common/backtrace.rs:34:9
   8:     0x7f204f87f0bf - std::panicking::default_hook::{{closure}}::h8511971ca7cce5b1
                               at /rustc/c1a859b25a95999ba276075bbd8e284ea675b41a/library/std/src/panicking.rs:267:22
   9:     0x7f204f87edfa - std::panicking::default_hook::h8bc8dfd96a84f923
                               at /rustc/c1a859b25a95999ba276075bbd8e284ea675b41a/library/std/src/panicking.rs:286:9
  10:     0x7f204f87f8cc - std::panicking::rust_panic_with_hook::h9f2bfce9b4c1819d
                               at /rustc/c1a859b25a95999ba276075bbd8e284ea675b41a/library/std/src/panicking.rs:688:13
  11:     0x7f204f87f667 - std::panicking::begin_panic_handler::{{closure}}::h167b5f05f9579bc1
                               at /rustc/c1a859b25a95999ba276075bbd8e284ea675b41a/library/std/src/panicking.rs:579:13
  12:     0x7f204f87c9cc - std::sys_common::backtrace::__rust_end_short_backtrace::h99451dfb597ab6ac
                               at /rustc/c1a859b25a95999ba276075bbd8e284ea675b41a/library/std/src/sys_common/backtrace.rs:137:18
  13:     0x7f204f87f382 - rust_begin_unwind
                               at /rustc/c1a859b25a95999ba276075bbd8e284ea675b41a/library/std/src/panicking.rs:575:5
  14:     0x7f204f8db023 - core::panicking::panic_fmt::hf9d641a075644e68
                               at /rustc/c1a859b25a95999ba276075bbd8e284ea675b41a/library/core/src/panicking.rs:65:14
  15:     0x7f20533b9a77 - rustc_query_system[731acdfd61cbbb95]::query::plumbing::incremental_verify_ich_failed
  16:     0x7f2050f4866a - rustc_query_system[731acdfd61cbbb95]::query::plumbing::incremental_verify_ich::<rustc_query_impl[5d8cc954b14a6b51]::plumbing::QueryCtxt, rustc_middle[ef15c0f09f0ff036]::infer::canonical::Canonical<rustc_middle[ef15c0f09f0ff036]::ty::ParamEnvAnd<rustc_middle[ef15c0f09f0ff036]::traits::query::type_op::ProvePredicate>>, core[4e899ad432e99573]::result::Result<&rustc_middle[ef15c0f09f0ff036]::infer::canonical::Canonical<rustc_middle[ef15c0f09f0ff036]::infer::canonical::QueryResponse<()>>, rustc_middle[ef15c0f09f0ff036]::traits::query::NoSolution>>
  17:     0x7f2050f47391 - rustc_query_system[731acdfd61cbbb95]::query::plumbing::get_query::<rustc_query_impl[5d8cc954b14a6b51]::queries::type_op_prove_predicate, rustc_query_impl[5d8cc954b14a6b51]::plumbing::QueryCtxt>
  18:     0x7f20519be8bc - <rustc_middle[ef15c0f09f0ff036]::ty::ParamEnvAnd<rustc_middle[ef15c0f09f0ff036]::traits::query::type_op::ProvePredicate> as rustc_trait_selection[1a866c97ed6ff1a8]::traits::query::type_op::TypeOp>::fully_perform
  19:     0x7f20519c4da1 - <rustc_borrowck[37ee5877d38eaf7]::type_check::TypeChecker>::prove_trait_ref
  20:     0x7f20519a4fc0 - <rustc_borrowck[37ee5877d38eaf7]::type_check::TypeChecker>::typeck_mir
  21:     0x7f205192644e - rustc_borrowck[37ee5877d38eaf7]::type_check::type_check
  22:     0x7f20519103fb - rustc_borrowck[37ee5877d38eaf7]::nll::compute_regions
  23:     0x7f20518f0b33 - rustc_borrowck[37ee5877d38eaf7]::do_mir_borrowck
  24:     0x7f20518dc608 - rustc_borrowck[37ee5877d38eaf7]::mir_borrowck
  25:     0x7f20518dbb31 - <rustc_borrowck[37ee5877d38eaf7]::provide::{closure#0} as core[4e899ad432e99573]::ops::function::FnOnce<(rustc_middle[ef15c0f09f0ff036]::ty::context::TyCtxt, rustc_span[2c66fb4e929445ca]::def_id::LocalDefId)>>::call_once
  26:     0x7f2051b75cf3 - <rustc_query_system[731acdfd61cbbb95]::dep_graph::graph::DepGraph<rustc_middle[ef15c0f09f0ff036]::dep_graph::dep_node::DepKind>>::with_task::<rustc_middle[ef15c0f09f0ff036]::ty::context::TyCtxt, rustc_span[2c66fb4e929445ca]::def_id::LocalDefId, &rustc_middle[ef15c0f09f0ff036]::mir::query::BorrowCheckResult>
  27:     0x7f2051b74ba3 - rustc_query_system[731acdfd61cbbb95]::query::plumbing::try_execute_query::<rustc_query_impl[5d8cc954b14a6b51]::plumbing::QueryCtxt, rustc_query_system[731acdfd61cbbb95]::query::caches::DefaultCache<rustc_span[2c66fb4e929445ca]::def_id::LocalDefId, &rustc_middle[ef15c0f09f0ff036]::mir::query::BorrowCheckResult>>
  28:     0x7f2050edff13 - rustc_data_structures[fcbea81f06a7da6b]::sync::par_for_each_in::<&[rustc_span[2c66fb4e929445ca]::def_id::LocalDefId], <rustc_middle[ef15c0f09f0ff036]::hir::map::Map>::par_body_owners<rustc_interface[d2b1e7858cec3daa]::passes::analysis::{closure#2}::{closure#0}>::{closure#0}>
  29:     0x7f2050ede9ef - <rustc_session[47f761f7ecc78e0d]::session::Session>::time::<(), rustc_interface[d2b1e7858cec3daa]::passes::analysis::{closure#2}>
  30:     0x7f2050edceb7 - rustc_interface[d2b1e7858cec3daa]::passes::analysis
  31:     0x7f20522770ee - <rustc_query_system[731acdfd61cbbb95]::dep_graph::graph::DepGraph<rustc_middle[ef15c0f09f0ff036]::dep_graph::dep_node::DepKind>>::with_task::<rustc_middle[ef15c0f09f0ff036]::ty::context::TyCtxt, (), core[4e899ad432e99573]::result::Result<(), rustc_errors[a1ce8dcef9ff7a7d]::ErrorGuaranteed>>
  32:     0x7f2052276464 - rustc_query_system[731acdfd61cbbb95]::query::plumbing::try_execute_query::<rustc_query_impl[5d8cc954b14a6b51]::plumbing::QueryCtxt, rustc_query_system[731acdfd61cbbb95]::query::caches::DefaultCache<(), core[4e899ad432e99573]::result::Result<(), rustc_errors[a1ce8dcef9ff7a7d]::ErrorGuaranteed>>>
  33:     0x7f2052275ee7 - rustc_query_system[731acdfd61cbbb95]::query::plumbing::get_query::<rustc_query_impl[5d8cc954b14a6b51]::queries::analysis, rustc_query_impl[5d8cc954b14a6b51]::plumbing::QueryCtxt>
  34:     0x7f2051d25b8e - <rustc_interface[d2b1e7858cec3daa]::passes::QueryContext>::enter::<rustc_driver[766838ccb0cc5547]::run_compiler::{closure#1}::{closure#2}::{closure#3}, core[4e899ad432e99573]::result::Result<(), rustc_errors[a1ce8dcef9ff7a7d]::ErrorGuaranteed>>
  35:     0x7f2051d22c5f - <rustc_interface[d2b1e7858cec3daa]::interface::Compiler>::enter::<rustc_driver[766838ccb0cc5547]::run_compiler::{closure#1}::{closure#2}, core[4e899ad432e99573]::result::Result<core[4e899ad432e99573]::option::Option<rustc_interface[d2b1e7858cec3daa]::queries::Linker>, rustc_errors[a1ce8dcef9ff7a7d]::ErrorGuaranteed>>
  36:     0x7f2051d1dc92 - rustc_span[2c66fb4e929445ca]::with_source_map::<core[4e899ad432e99573]::result::Result<(), rustc_errors[a1ce8dcef9ff7a7d]::ErrorGuaranteed>, rustc_interface[d2b1e7858cec3daa]::interface::run_compiler<core[4e899ad432e99573]::result::Result<(), rustc_errors[a1ce8dcef9ff7a7d]::ErrorGuaranteed>, rustc_driver[766838ccb0cc5547]::run_compiler::{closure#1}>::{closure#0}::{closure#1}>
  37:     0x7f2051d1d76c - <scoped_tls[a162aae2f2befadc]::ScopedKey<rustc_span[2c66fb4e929445ca]::SessionGlobals>>::set::<rustc_interface[d2b1e7858cec3daa]::interface::run_compiler<core[4e899ad432e99573]::result::Result<(), rustc_errors[a1ce8dcef9ff7a7d]::ErrorGuaranteed>, rustc_driver[766838ccb0cc5547]::run_compiler::{closure#1}>::{closure#0}, core[4e899ad432e99573]::result::Result<(), rustc_errors[a1ce8dcef9ff7a7d]::ErrorGuaranteed>>
  38:     0x7f2051d1cd58 - std[60fbac34357a1008]::sys_common::backtrace::__rust_begin_short_backtrace::<rustc_interface[d2b1e7858cec3daa]::util::run_in_thread_pool_with_globals<rustc_interface[d2b1e7858cec3daa]::interface::run_compiler<core[4e899ad432e99573]::result::Result<(), rustc_errors[a1ce8dcef9ff7a7d]::ErrorGuaranteed>, rustc_driver[766838ccb0cc5547]::run_compiler::{closure#1}>::{closure#0}, core[4e899ad432e99573]::result::Result<(), rustc_errors[a1ce8dcef9ff7a7d]::ErrorGuaranteed>>::{closure#0}::{closure#0}, core[4e899ad432e99573]::result::Result<(), rustc_errors[a1ce8dcef9ff7a7d]::ErrorGuaranteed>>
  39:     0x7f2051d1ca7c - <<std[60fbac34357a1008]::thread::Builder>::spawn_unchecked_<rustc_interface[d2b1e7858cec3daa]::util::run_in_thread_pool_with_globals<rustc_interface[d2b1e7858cec3daa]::interface::run_compiler<core[4e899ad432e99573]::result::Result<(), rustc_errors[a1ce8dcef9ff7a7d]::ErrorGuaranteed>, rustc_driver[766838ccb0cc5547]::run_compiler::{closure#1}>::{closure#0}, core[4e899ad432e99573]::result::Result<(), rustc_errors[a1ce8dcef9ff7a7d]::ErrorGuaranteed>>::{closure#0}::{closure#0}, core[4e899ad432e99573]::result::Result<(), rustc_errors[a1ce8dcef9ff7a7d]::ErrorGuaranteed>>::{closure#1} as core[4e899ad432e99573]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
  40:     0x7f20537ae563 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h9c5bc954debcee72
                               at /rustc/c1a859b25a95999ba276075bbd8e284ea675b41a/library/alloc/src/boxed.rs:2000:9
  41:     0x7f20537ae563 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::he1973107145a5c1d
                               at /rustc/c1a859b25a95999ba276075bbd8e284ea675b41a/library/alloc/src/boxed.rs:2000:9
  42:     0x7f20537ae563 - std::sys::unix::thread::Thread::new::thread_start::h3f40abd87f665b17
                               at /rustc/c1a859b25a95999ba276075bbd8e284ea675b41a/library/std/src/sys/unix/thread.rs:108:17
  43:     0x7f204f738609 - start_thread
                               at /build/glibc-SzIz7B/glibc-2.31/nptl/pthread_create.c:477:8
  44:     0x7f204f65b133 - clone
                               at /build/glibc-SzIz7B/glibc-2.31/misc/../sysdeps/unix/sysv/linux/x86_64/clone.S:95
  45:                0x0 - <unknown>

@kpp kpp added C-bug Category: This is a bug. I-ICE Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️ T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. labels Dec 1, 2022
@JohnTitor JohnTitor added A-incr-comp Area: Incremental compilation E-needs-mcve Call for participation: This issue has a repro, but needs a Minimal Complete and Verifiable Example labels Jan 14, 2023
@kpreid
Copy link
Contributor

kpreid commented Dec 25, 2023

Triage: Relabeling issues which don't have a runnable reproduction (as opposed to having a non-minimized one) to the new label S-needs-repro.
@rustbot label +S-needs-repro -E-needs-mcve

@rustbot rustbot added S-needs-repro Status: This issue has no reproduction and needs a reproduction to make progress. and removed E-needs-mcve Call for participation: This issue has a repro, but needs a Minimal Complete and Verifiable Example labels Dec 25, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
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-needs-repro Status: This issue has no reproduction and needs a reproduction to make progress. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
4 participants
@kpp @kpreid @JohnTitor @rustbot