{"ast_node_type":"other","tokens":[{"end":50,"kind":"keyword","start":0,"text":"universal_regions:"}]}
    universal_regions: &'a UniversalRegions<'tcx>,
    infcx: &'a InferCtxt<'tcx>,
    /// Each RBP `GK: 'a` is assumed to be true. These encode