{"ast_node_type":"variable","tokens":[{"end":51,"kind":"keyword","start":0,"text":"let"}]}
        let sub_diag = if self.span == other.span {
        // Found different concrete types for the opaque type.
            TypeMismatchReason::ConflictType { span: self.span }