{"ast_node_type":"other","tokens":[{"end":90,"kind":"keyword","start":0,"text":"///"}]}
    /// could meaningfully require this anyway. How about free lifetimes? Is ignoring this
    /// the typing requirement in post drop-elaboration MIR? I think probably not - I'm not sure we
    /// interesting for optimizations? Do we want to allow such optimizations?