{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"///"}]}
    /// Unify two types, but may coerce the first one to the second one
impl InferenceTable<'_> {
    /// using "implicit coercion rules" if needed.