You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
lcnr opened this issue
Feb 27, 2024
· 1 comment
· Fixed by #122150
Assignees
Labels
A-traitsArea: Trait systemC-cleanupCategory: PRs that clean code up or issues documenting cleanup.T-typesRelevant to the types team, which will review and decide on the PR/issue.
Using a walker causes the control-flow to be a lot more complicated and given that this code is soundness-critical, we should make sure it's as easy to understand as possible
The text was updated successfully, but these errors were encountered:
lcnr
added
C-cleanup
Category: PRs that clean code up or issues documenting cleanup.
and removed
needs-triage
This issue may need triage. Remove it if it has been sufficiently triaged.
labels
Feb 27, 2024
compiler-errors
added
T-types
Relevant to the types team, which will review and decide on the PR/issue.
and removed
T-compiler
Relevant to the compiler team, which will review and decide on the PR/issue.
labels
Feb 27, 2024
A-traitsArea: Trait systemC-cleanupCategory: PRs that clean code up or issues documenting cleanup.T-typesRelevant to the types team, which will review and decide on the PR/issue.
we should change the following function to use a
TypeVisitor
instead ofwalk
rust/compiler/rustc_trait_selection/src/traits/wf.rs
Line 512 in b6e4299
Using a walker causes the control-flow to be a lot more complicated and given that this code is soundness-critical, we should make sure it's as easy to understand as possible
The text was updated successfully, but these errors were encountered: