Skip to content

Commit

Permalink
Auto merge of #113955 - cjgillot:name-apit, r=WaffleLapkin
Browse files Browse the repository at this point in the history 
Pretty-print argument-position impl trait to name it.

This removes a corner case.

RPIT and TAIT keep having no name, and it would be wrong to use the one in HIR (Ident::empty), so I make this case ICE.
  • Loading branch information
@bors
bors committed Sep 19, 2023
2 parents 961dd87 + 530d9f2 commit d9d7887
Showing 0 changed files with 0 additions and 0 deletions.

0 comments on commit d9d7887

Please sign in to comment.