-
-
Notifications
You must be signed in to change notification settings - Fork 14.5k
Open
Open
Copy link
Labels
E-easyCall for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.Call for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.Relevant to the compiler team, which will review and decide on the PR/issue.
Description
e.g. in #152789 (comment) we print ExistentialProjection { def_id: DefId(0:5 ~ foo[b507]::Trait::Assoc), args: [i32], term: Term::Ty(i64), use_existential_projection_new_instead: () }
We should not print the use_existential_projection_new_instead: ()
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
E-easyCall for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.Call for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.Relevant to the compiler team, which will review and decide on the PR/issue.