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

Add test for inductive canonical cycle #786

Closed jackh726 closed 1 year ago

jackh726 commented 1 year ago

See https://github.com/rust-lang/rust/blob/885dcb975ba10511ed2296f51b0db3c17ad7399b/src/test/ui/traits/solver-cycles/inductive-canonical-cycle.rs

compiler-errors commented 1 year ago

@bors r+

bors commented 1 year ago

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

It is now in the queue for this repository.

bors commented 1 year ago

:hourglass: Testing commit ea3838b0790f23fdd920563cc5d46f492ffbef71 with merge 1c2c0caf9e4c46a38bc0f0d4d02fbff3b9c7fb82...

bors commented 1 year ago

:sunny: Test successful - checks-actions Approved by: compiler-errors Pushing 1c2c0caf9e4c46a38bc0f0d4d02fbff3b9c7fb82 to master...