{"ast_node_type":"function","tokens":[{"end":35,"kind":"keyword","start":0,"text":"fn"}]}
    fn structurally_normalize_term(
    /// Not doing so is likely to be incomplete and therefore unsound during coherence.
        &mut self,