fix: consider ADT's generic parameters

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

fix: consider ADT's generic parameters #781

Closed lowr closed 1 year ago

lowr commented 1 year ago

Fixes #762

chalk-integration has been overlooking ADTs' generic parameters when it generates auto trait impls for them. This function is only used to print the lowered program in cli so it doesn't affect other crates.

jackh726 commented 1 year ago

@bors r+

bors commented 1 year ago

:pushpin: Commit 64632c0e6b9f3b6514daf52d26b99a6e4f374177 has been approved by jackh726

It is now in the queue for this repository.

bors commented 1 year ago

:hourglass: Testing commit 64632c0e6b9f3b6514daf52d26b99a6e4f374177 with merge cadaba9881d78c9814d966e595cc978e64a8b76e...

bors commented 1 year ago

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