{"ast_node_type":"import","tokens":[{"end":66,"kind":"keyword","start":0,"text":"///"}]}
    /// This function is needed because region inference currently
    ///
    /// requires that we produce a single "UB", and there is no best