{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"///"}]}
    /// during HIR typeck, we replace each occurance of a region with a
    /// currently outside of the trait solver and canonicalize the root goal
    /// unique region variable. See the comment on `InferCtxt::in_hir_typeck`