syntax_data: {"ast_node_type":"function","tokens":[{"end":53,"kind":"keyword","start":0,"text":"pub"}]}
source_snippet:     pub fn and(self, other: Certainty) -> Certainty {
context_before:     /// user that `T: Baz` results in overflow.
context_after:         match (self, other) {