Fix parameter for `Interner` in `derive(FallibleTypeFolder)` macro

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 parameter for `Interner` in `derive(FallibleTypeFolder)` macro #779

Closed lowr closed 1 year ago

lowr commented 1 year ago

In custom derive macro for FallibleTypeFolder introduced in #772, there's one occurrence of raw type parameter that is not guaranteed to exist. This patch replaces it with #interner to be interpolated at proc macro runtime like in other methods.

jackh726 commented 1 year ago

@bors r+

bors commented 1 year ago

:pushpin: Commit f29926542ed4e12f7f00967543f90120c6e6748b has been approved by jackh726

It is now in the queue for this repository.

bors commented 1 year ago

:hourglass: Testing commit f29926542ed4e12f7f00967543f90120c6e6748b with merge 8138a990a10bb36428c098892a1083697bd106ff...

bors commented 1 year ago

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