search

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.81k stars 179 forks source link

update `inductive_canonical_cycle` test #787

Closed lcnr closed 1 year ago

lcnr commented 1 year ago

my concern was already known :sweat_smile:

https://github.com/rust-lang/chalk/blob/1c2c0caf9e4c46a38bc0f0d4d02fbff3b9c7fb82/book/src/recursive/inductive_cycles.md?plain=1#L48-L66

r? @jackh726

jackh726 commented 1 year ago

@bors r+

bors commented 1 year ago

:pushpin: Commit 0ffedf266066ef7bb1f249ead4198e28c9de7a16 has been approved by jackh726

It is now in the queue for this repository.

bors commented 1 year ago

:hourglass: Testing commit 0ffedf266066ef7bb1f249ead4198e28c9de7a16 with merge 808257c76d5b112ad2a6d837984de3725f293dc2...

bors commented 1 year ago

:sunny: Test successful - checks-actions Approved by: jackh726 Pushing 808257c76d5b112ad2a6d837984de3725f293dc2 to master...