creusot-rs / creusot-ide

2 stars 0 forks source link

Failed to parse impl #6

Closed xldenis closed 7 hours ago

xldenis commented 1 day ago

17_filter has an impl which fails to parse: impl<I: Iterator, F: FnMut(&I::Item) -> bool> Invariant for Filter<I, F>