From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugzilla@gcc.gnu.org>
Received: by sourceware.org (Postfix, from userid 48)
	id DC22A3858291; Wed, 29 Mar 2023 23:38:37 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org DC22A3858291
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1680133117;
	bh=ufWgiGxJqAwnzmM6O6WGpmD+cFhluY1MBJ+e/ezIrzI=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=us4Wr47Z/TP3R7NSqIzXbxDrWhCyXmw56C9VDAT5Vp1BXCggl7M6LxHmlFDH4I9Su
	 h/j9HbNNFPeFkEs1O3AH4cd0afuf31zI2HSrCaORtaxQf/CXb6TmTmbI68Ya9WLAA1
	 p2Nk7+ZQWz5JhAd1r4m9j0BYFtRFwrRP1xIjpCpo=
From: "cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/109340] Inconsistent diagnostics for invalid member types
 in union
Date: Wed, 29 Mar 2023 23:38:37 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c++
X-Bugzilla-Version: 13.0
X-Bugzilla-Keywords: diagnostic
X-Bugzilla-Severity: normal
X-Bugzilla-Who: cvs-commit at gcc dot gnu.org
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-109340-4-bZLVHRbBtC@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-109340-4@http.gcc.gnu.org/bugzilla/>
References: <bug-109340-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
List-Id: <gcc-bugs.sourceware.org>

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D109340

--- Comment #1 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Jonathan Wakely <redi@gcc.gnu.org>:

https://gcc.gnu.org/g:31a909712014b75fc6ae2ca5eaa425f218bb5f32

commit r13-6934-g31a909712014b75fc6ae2ca5eaa425f218bb5f32
Author: Jonathan Wakely <jwakely@redhat.com>
Date:   Wed Mar 29 22:16:55 2023 +0100

    libstdc++: Use std::remove_cv_t in std::optional::transform [PR109340]

    We need to strip cv-qualifiers from the result of the callable passed to
    std::optional::transform.

    For std::expected::transform and std::expected::transform_error I
    noticed we were stripping cv-qualifiers but were also incorrectly
    stripping references.

    libstdc++-v3/ChangeLog:

            PR libstdc++/109340
            * include/std/expected (expected::transform): Use
            std::remove_cv_t instead of std::remove_cvref_t.
            (expected::transform_error): Likewise.
            (expected<cv void, E>::transform): Likewise.
            (expected<cv void, E>::transform_error): Likewise.
            * include/std/optional (transform): Use std::remove_cv_t.
            * testsuite/20_util/optional/monadic/pr109340.cc: New test.=