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 ED69B3858423; Thu, 10 Nov 2022 01:07:04 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org ED69B3858423
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1668042424;
	bh=kQAVCCR7AtG8U3UX0vyCpadwie94sEYrhgwhcHWBZKg=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=dif3ai+apDALB9qWi3cguPYI0JZB5YvnVXngJKHwCOicWR0AESDrA6I+yLoKdXq0F
	 rHRB6SZKCcQyB6HO+K4Q4nMkVIv480qKSl0nkCB0VHREPKUhenLwQ6wy9NIkSy0yyr
	 KWLaLrIjymioZW5D+usgkRk/+l8bijr1uooPZ+Q8=
From: "redi at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/107600] New __is_destructible built-in
Date: Thu, 10 Nov 2022 01:07:01 +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: 
X-Bugzilla-Severity: normal
X-Bugzilla-Who: redi 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-107600-4-gkCrpejqBe@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-107600-4@http.gcc.gnu.org/bugzilla/>
References: <bug-107600-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=3D107600

--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> ---
And as with the others, __is_nothrow_destructible, which is what the concep=
ts
depend on specifically:

  /// [concept.destructible], concept destructible
  template<typename _Tp>
    concept destructible =3D is_nothrow_destructible_v<_Tp>;

  /// [concept.constructible], concept constructible_from
  template<typename _Tp, typename... _Args>
    concept constructible_from
      =3D destructible<_Tp> && is_constructible_v<_Tp, _Args...>;

And so that gets used by every one of std::default_initializable,
std::move_constructible, std::copy_constructible, std::movable, std::copyab=
le,
std::semiregular etc.=