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.85k stars 182 forks source link

add test for bug with mixed cycles #788

Closed lcnr closed 1 year ago

compiler-errors commented 1 year ago

@bors r+

bors commented 1 year ago

:pushpin: Commit c53bcac85c71eb26de644836c1d12f0383851773 has been approved by compiler-errors

It is now in the queue for this repository.

bors commented 1 year ago

:hourglass: Testing commit c53bcac85c71eb26de644836c1d12f0383851773 with merge 0ecdd7f675383e434fc146d4ff7de5b3ba49df9e...

bors commented 1 year ago

:sunny: Test successful - checks-actions Approved by: compiler-errors Pushing 0ecdd7f675383e434fc146d4ff7de5b3ba49df9e to master...