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

Remove unnecessary symbols and add missing symbols #817

Closed cuishuang closed 2 months ago

jackh726 commented 2 months ago

@bors r+

bors commented 2 months ago

:pushpin: Commit 4b33c5716de8809ad1d40b2b3e6662a3d0ee5af0 has been approved by jackh726

It is now in the queue for this repository.

bors commented 2 months ago

:hourglass: Testing commit 4b33c5716de8809ad1d40b2b3e6662a3d0ee5af0 with merge ab710e0c9b455403b138ef72a2fb90967a58eff3...

bors commented 2 months ago

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