{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
    ///
    /// imagine a graph where `a < b` means `a -> b`.
    /// This function is needed because region inference currently