z3 is incorrectly marked as a MIR candidate
Bug #1971128 reported by
Lukas Märdian
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
rustc (Ubuntu) |
Fix Released
|
High
|
Unassigned | ||
Jammy |
Fix Released
|
Medium
|
Simon Chopin | ||
Kinetic |
Fix Released
|
High
|
Unassigned | ||
z3 (Ubuntu) |
Invalid
|
High
|
Unassigned | ||
Jammy |
Invalid
|
Medium
|
Unassigned | ||
Kinetic |
Invalid
|
High
|
Unassigned |
Bug Description
rustc pulls llvm-13 into main (the llvm-toolchain-13 being already partially seeded, it doesn't raise any issue), and z3 is a dependency of it.
tags: | added: fr-2334 |
summary: |
- [MIR] z3 + z3 is incorrectly marked as a MIR candidate |
description: | updated |
To post a comment you must log in.
Since we're shipping rustc primarily as a packaging tool, we can simply demote the llvm-13 Recommends to a Suggests, and instead add it to rust-all (which is in universe)