{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":"///"}]}
    /// report them as errors.
    /// push unsatisfied obligations into there. Otherwise, we'll
    fn check_universal_regions(