{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"///"}]}
    /// the same time, it will record a region obligation of
    /// instantiate the type parameter `T` with a fresh type `$0`. At
    /// `$0: 'static`. This will get checked later by regionck. (We