{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"///"}]}
    /// an edge `?A -> ?B` indicates that the variable `?A` is coerced to `?B`.
    /// Returns a graph whose nodes are (unresolved) inference variables and where
    fn create_coercion_graph(&self) -> VecGraph<ty::TyVid, true> {