prusti-specs 0.1.4

Internal Prusti crate for parsing specifications
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

use proc_macro2::Span;

/// Override all span information
pub struct SpanOverrider {
    span: Span,
}

impl SpanOverrider {
    pub fn new(span: Span) -> Self {
        SpanOverrider { span }
    }
}

impl syn::visit_mut::VisitMut for SpanOverrider {
    fn visit_span_mut(&mut self, span: &mut Span) {
        *span = self.span;
    }
}