{"ast_node_type":"other","tokens":[{"end":62,"kind":"keyword","start":0,"text":"///"}]}
    /// in this function. This can change when we descend into
    /// The parameter environment used for proving trait obligations
    /// closures (as they bring new things into scope), hence it is