search

rust-lang / rust

Empowering everyone to build reliable and efficient software.
https://www.rust-lang.org
Other
98.76k stars 12.76k forks source link

Simplify `fulfill_implication` #133319

Open compiler-errors opened 15 hours ago

compiler-errors commented 15 hours ago

calm before the storm

compiler-errors commented 15 hours ago

r? lcnr

rustbot commented 15 hours ago

r? @Nadrieril

rustbot has assigned @Nadrieril. They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

lcnr commented 5 hours ago

r? @lcnr

@bors r+ rollup

bors commented 5 hours ago

:pushpin: Commit 357665dae90b28b670ee343f012620183cfc9c2b has been approved by lcnr

It is now in the queue for this repository.