11198: Remove unused lifetime r=lnicola a=Aaron1011



Co-authored-by: Aaron Hill <aa1ronham@gmail.com>
This commit is contained in:
bors[bot] 2022-01-05 18:08:09 +00:00 committed by GitHub
commit 97838b183c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -358,7 +358,7 @@ where
struct ErrorReplacer {
vars: usize,
}
impl<'i> Folder<Interner> for ErrorReplacer {
impl Folder<Interner> for ErrorReplacer {
type Error = NoSolution;
fn as_dyn(&mut self) -> &mut dyn Folder<Interner, Error = Self::Error> {