mirror of
https://github.com/rust-lang/rust.git
synced 2025-10-05 19:57:02 +00:00

The use of `Binder` was removed in the recent #123900, but the comment wasn't removed at the same time.
The use of `Binder` was removed in the recent #123900, but the comment wasn't removed at the same time.