syntax_data: {"ast_node_type":"function","tokens":[{"end":82,"kind":"keyword","start":0,"text":"pub(crate)"}]}
source_snippet:     pub(crate) fn new(src: L, dst: L, assume: crate::Assume, context: C) -> Self {
context_before: {
context_after:         Self { src, dst, assume, context }