Skip to content

Commit

Permalink
Auto merge of #779 - lowr:fix/derive-fallible-type-interner, r=jackh726
Browse files Browse the repository at this point in the history
Fix parameter for `Interner` in `derive(FallibleTypeFolder)` macro

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.
  • Loading branch information
bors committed Oct 13, 2022
2 parents 1b32e5d + f299265 commit 8138a99
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion chalk-derive/src/lib.rs
Original file line number Diff line number Diff line change
Expand Up @@ -313,7 +313,7 @@ fn derive_fallible_type_folder(mut s: synstructure::Structure) -> TokenStream {
quote! {
type Error = ::core::convert::Infallible;

fn as_dyn(&mut self) -> &mut dyn ::chalk_ir::fold::FallibleTypeFolder<I, Error = Self::Error> {
fn as_dyn(&mut self) -> &mut dyn ::chalk_ir::fold::FallibleTypeFolder<#interner, Error = Self::Error> {
self
}

Expand Down

0 comments on commit 8138a99

Please sign in to comment.