prusti_specs/
span_overrider.rs

1use proc_macro2::Span;
2
3/// Override all span information
4pub struct SpanOverrider {
5    span: Span,
6}
7
8impl SpanOverrider {
9    pub fn new(span: Span) -> Self {
10        SpanOverrider { span }
11    }
12}
13
14impl syn::visit_mut::VisitMut for SpanOverrider {
15    fn visit_span_mut(&mut self, span: &mut Span) {
16        *span = self.span;
17    }
18}