{"ast_node_type":"other","tokens":[{"end":82,"kind":"keyword","start":0,"text":"///"}]}
    /// about the source type, so we can't really do a true coercion and we always
    /// Coercing *from* an inference variable. In this case, we have no information
    /// fall back to subtyping (`unify_and`).