More clause fixes - Githubissues

rust-lang / chalk

An implementation and definition of the Rust trait system using a PROLOG-like logic solver

https://rust-lang.github.io/chalk/book/

Other

1.84k stars 182 forks source link

Closed matthewjasper closed 2 years ago

matthewjasper commented 3 years ago

jackh726 commented 3 years ago

Overall this looks quite good to me. I was trying to look through history a bit here to see why the WF clauses haven't always been this way.

Anyways, I want to review this once more when I'm not on mobile before I merge, but this is quite appreciated!

jackh726 commented 2 years ago

@bors r+

bors commented 2 years ago

:pushpin: Commit f8ba227ae915dbb41710e55ecf6ebfd993b7065b has been approved by jackh726

bors commented 2 years ago

:hourglass: Testing commit f8ba227ae915dbb41710e55ecf6ebfd993b7065b with merge 7cd268254da19e1ba41a6998a8675d60827de8fa...

bors commented 2 years ago

:sunny: Test successful - checks-actions Approved by: jackh726 Pushing 7cd268254da19e1ba41a6998a8675d60827de8fa to master...