{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"assert!(found_outlived_universal_region);"}]}
        assert!(found_outlived_universal_region);
        // trivial.
        true