Remove unused lifetime
This commit is contained in:
parent
c5049bdcda
commit
04cb85032f
@ -358,7 +358,7 @@ where
|
|||||||
struct ErrorReplacer {
|
struct ErrorReplacer {
|
||||||
vars: usize,
|
vars: usize,
|
||||||
}
|
}
|
||||||
impl<'i> Folder<Interner> for ErrorReplacer {
|
impl Folder<Interner> for ErrorReplacer {
|
||||||
type Error = NoSolution;
|
type Error = NoSolution;
|
||||||
|
|
||||||
fn as_dyn(&mut self) -> &mut dyn Folder<Interner, Error = Self::Error> {
|
fn as_dyn(&mut self) -> &mut dyn Folder<Interner, Error = Self::Error> {
|
||||||
|
Loading…
x
Reference in New Issue
Block a user