{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"known_type_outlives:"}]}
    known_type_outlives: Vec<ty::PolyTypeOutlivesPredicate<'tcx>>,
    region_bound_pairs: RegionBoundPairs<'tcx>,
    /// Assumptions that come from the well-formedness of coroutines that we prove