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

Implement support for the `Tuple` trait #782

Closed compiler-errors closed 1 year ago

compiler-errors commented 1 year ago

Necessary to due to new trait bounds required by rust-lang/compiler-team#537 / rust-lang/rust#99943.

r? @jackh726

jackh726 commented 1 year ago

@bors r+

bors commented 1 year ago

:pushpin: Commit 2b6065f1ba5f508d05f4c505b9e0540ae151a6ad has been approved by jackh726

It is now in the queue for this repository.

bors commented 1 year ago

:hourglass: Testing commit 2b6065f1ba5f508d05f4c505b9e0540ae151a6ad with merge 3b52ecd0e77822d747fd0f289fa949abe825b919...

bors commented 1 year ago

:sunny: Test successful - checks-actions Approved by: jackh726 Pushing 3b52ecd0e77822d747fd0f289fa949abe825b919 to master...