Open matthiaskrgr opened 1 year ago
```
error: internal compiler error: compiler/rustc_trait_selection/src/solve/eval_ctxt.rs:399:17: unstable certainty: Maybe(
Ambiguity,
) re-canonicalized goal=Canonical {
value: QueryInput {
goal: Goal {
predicate: Binder { value: TraitPredicate(<() as IsZero<{const error}>>, polarity:Positive), bound_vars: [] },
param_env: ParamEnv {
caller_bounds: [],
reveal: UserFacing,
},
},
anchor: Bubble,
predefined_opaques_in_body: PredefinedOpaques(
PredefinedOpaquesData {
opaque_types: [],
},
),
},
max_universe: U0,
variables: [],
} first_response=Canonical {
value: Response {
certainty: Maybe(
Ambiguity,
),
var_values: CanonicalVarValues {
var_values: [
Const { ty: u8, kind: {const error} },
],
},
external_constraints: ExternalConstraints(
ExternalConstraintsData {
region_constraints: QueryRegionConstraints {
outlives: [],
member_constraints: [],
},
opaque_types: [],
},
),
},
max_universe: U0,
variables: [],
} second_response=Canonical {
value: Response {
certainty: Yes,
var_values: CanonicalVarValues {
var_values: [],
},
external_constraints: ExternalConstraints(
ExternalConstraintsData {
region_constraints: QueryRegionConstraints {
outlives: [],
member_constraints: [],
},
opaque_types: [],
},
),
},
max_universe: U0,
variables: [],
}
thread 'rustc' panicked at /home/matthias/vcs/github/rust_debug_assertions/compiler/rustc_errors/src/lib.rs:1646:9:
Box
Code
rustc -Ztrait-solver=next-coherence
Meta
rustc --version --verbose
:Error output