{"ast_node_type":"import","tokens":[{"end":71,"kind":"keyword","start":0,"text":"///"}]}
    ///   that `fr1: 'static` because it is the only way to `fr1: r` to
    ///   that cannot be named by `fr1`; in that case, we will require
    ///   be satisfied. (See `add_incompatible_universe`.)