{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"coercions:"}]}
        coercions: &VecGraph<ty::TyVid, true>,
        diverging_vids: &[ty::TyVid],
    ) -> errors::SuggestAnnotations {