Code

remove push_trait_bound_inner#124288

Code

Merged

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

fee1-dead-contrib:rm_innerfee1-dead-contrib/rust:rm_innerCopy head branch name to clipboard

Apr 23, 2024

Commits

Commits on Apr 23, 2024

• remove `push_trait_bound_inner`

  fee1-dead

  committed
  7f3c831

  Copy full SHA for 7f3c831