{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"///"}]}
    /// selection is never affected -- due to a universe mismatch.)
    /// (This works because unification never fails -- and hence trait
    fn canonical_var_for_region_in_root_universe(