Open
Description
From testing compare-mode, many of these likely overlap with other issues
Needs analysis to figure out why these tests have changed
now compiles, why?
- tests/ui/generic-associated-types/issue-92033.rs -> GATs can weaken where clauses in impl #151
- tests/ui/implied-bounds/normalization-nested.rs#lifetime
- tests/ui/impl-trait/rpit-not-sized.rs -> return type sized check occurs in opaque defining env #150
- we no longer normalize where-clauses when switching to reveal all mode
- tests/ui/type-alias-impl-trait/in-where-clause.rs
ICE
- coerce_borrowed_pointer had no error -> Don't ICE in coerce when autoderef fails to structurally normalize non-WF type in new solver rust#134746
- tests/ui/impl-trait/issue-100075.rs
- tests/ui/issues/issue-22874.rs
- tests/ui/impl-trait/recursive-ice-101862.rs
- tests/ui/traits/issue-50480.rs
- assertion failed: lhs.to_alias_term().is_some() || rhs.to_alias_term().is_some()
- tests/ui/async-await/async-outside-of-await-issue-121096.rs
- tests/ui/async-await/in-trait/dont-project-to-specializable-projection.rs
unify_query_var_values
structural eq failure- tests/ui/issues/issue-59326.rs
- inference variable storage ICE, probably a snapshot leak
- tests/ui/generic-associated-types/issue-87429-specialization.rs
- failed to resolve instance
- tests/ui/impl-trait/failed-to-resolve-instance-ice-105488.rs
- non-fatal overflow in normalize erasing regions -> ICE
- tests/ui/infinite/infinite-instantiation-struct-tail-ice-114484.rs
- tests/ui/recursion_limit/zero-overflow.rs
- tests/ui/type-alias-impl-trait/mututally-recursive-overflow.rs
- tests/ui/issues/issue-67552.rs
unknown failures, needs analysis
- associated type referencing itself in where-bound no longer overflows
- tests/ui/generic-associated-types/bugs/issue-87755.rs
- very poor normalization error
- tests/ui/associated-type-bounds/hrtb.rs
- implied bounds bevy hack doesn't work anymore
- tests/ui/implied-bounds/bevy_world_query.rs
- GAT where-bound region error to no region error
- tests/ui/generic-associated-types/issue-90014.rs
- horrible region error missing useful information
- tests/ui/higher-ranked/trait-bounds/issue-102899.rs
- tests/ui/higher-ranked/trait-bounds/issue-100689.rs
- WTF Do not register placeholder
RegionOutlives
obligations whenconsidering_regions
is false rust#102945
- overflow error when checking super trait bounds
- tests/ui/associated-type-bounds/supertrait-defines-ty.rs
- query cycle avoidance test now query cycles :3
- tests/ui/impl-trait/in-trait/refine-cycle.rs
- opaque type cyclic item bounds
- tests/ui/impl-trait/recursive-type-alias-impl-trait-declaration-too-subtle-2.rs
diagnostics
- missing span
- 🤷
- tests/ui/type-alias-impl-trait/wf-check-fn-def.rs
- missing span for "concrete type differs from previous defining opaque type use
- tests/ui/type-alias-impl-trait/not_a_defining_use.rs
- missing span for outlives errors
- tests/ui/wf/wf-in-obj-type-static.rs
- tests/ui/wf/wf-trait-associated-type-region.rs
- tests/ui/type-alias-impl-trait/wf-in-associated-type.rs
- tests/ui/type-alias-impl-trait/underconstrained_lifetime.rs
- tests/ui/typeck/issue-18937.rs
- 🤷
- where-clauses talk about blanket
FnPtr
impl: fixed by Don't pickT: FnPtr
nested goals as the leaf goal in diagnostics for new solver rust#135866- tests/ui/where-clauses/where-clauses-method-unsatisfied.rs
- tests/ui/where-clauses/where-clauses-unsatisfied.rs
- tests/ui/wf/wf-trait-fn-ret.rs
- tests/ui/wf/wf-trait-fn-where-clause.rs
- tests/ui/wf/wf-trait-fn-arg.rs
- tests/ui/typeck/bad-index-due-to-nested.rs
- tests/ui/union/union-derive-eq.rs
- drop span for struct wf requirements
- tests/ui/wf/wf-in-fn-type-static.rs
- wf: required by bound failures (a lot of em)
- tests/ui/wf/closure-wf.rs
Metadata
Assignees
Labels
No labels