{"ast_node_type":"other","tokens":[{"end":37,"kind":"keyword","start":0,"text":"diverging_vids:"}]}
        diverging_vids: &[ty::TyVid],
        behavior: DivergingFallbackBehavior,
        coercions: &VecGraph<ty::TyVid, true>,