{"ast_node_type":"other","tokens":[{"end":62,"kind":"keyword","start":0,"text":"//"}]}
        // Found different concrete types for the opaque type.
        (self.ty, other.ty).error_reported()?;
        let sub_diag = if self.span == other.span {