pub fn derive<TokenStream>( input: TokenStream, run: fn(_: Execution<'_>) ) -> TokenStreamwhere TokenStream: Into<TokenStream> + From<TokenStream>,