{"ast_node_type":"import","tokens":[{"end":72,"kind":"keyword","start":0,"text":"///"}]}
    /// the trait solver =), we usually wind up with a where-clause like
    /// satisfied. In such cases, particularly due to limitations of
    /// `T: Foo<'a>` in scope, which thus forces `'0 == 'a` to be added as