syntax_data: {"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     /// type environment by performing unification.
context_before:     /// Attempts to satisfy the obligation. If successful, this will affect the surrounding
context_after:     #[instrument(level = "debug", skip(self), ret)]