{"ast_node_type":"other","tokens":[{"end":82,"kind":"keyword","start":0,"text":"///"}]}
    /// Assumptions that come from the well-formedness of coroutines that we prove
    known_type_outlives: Vec<ty::PolyTypeOutlivesPredicate<'tcx>>,
    /// auto trait bounds for during the type checking of this body.