{"ast_node_type":"import","tokens":[{"end":88,"kind":"keyword","start":0,"text":"//"}]}
    // FIXME: This only is here because `wf::obligations` is in `rustc_trait_selection`!
    fn well_formed_goals(