Fix parameter for Interner in derive(FallibleTypeFolder) macro

lowr · lowr · commit f29926542ed4 · 2022-10-14T00:10:14.000+09:00
diff --git a/chalk-derive/src/lib.rs b/chalk-derive/src/lib.rs
@@ -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
             }
 

Original file line number	Diff line number	Diff line change
`@@ -313,7 +313,7 @@ fn derive_fallible_type_folder(mut s: synstructure::Structure) -> TokenStream {`
`313`	`313`	`quote! {`
`314`	`314`	`type Error = ::core::convert::Infallible;`
`315`	`315`
`316`		`- fn as_dyn(&mut self) -> &mut dyn ::chalk_ir::fold::FallibleTypeFolder<I, Error = Self::Error> {`
	`316`	`+ fn as_dyn(&mut self) -> &mut dyn ::chalk_ir::fold::FallibleTypeFolder<#interner, Error = Self::Error> {`
`317`	`317`	`self`
`318`	`318`	`}`
`319`	`319`