Skip to content

misc failures and diagnostics issues #148

Open
@lcnr

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?

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
  • 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 pick T: 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

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions