syntax_data: {"ast_node_type":"function","tokens":[{"end":45,"kind":"keyword","start":0,"text":"fn"}]}
source_snippet:     fn has_safety_invariants(&self) -> bool {
context_before: impl super::Def for Def {
context_after:         self == &Self::HasSafetyInvariants