220 39518 <41297ed8-df8b-4802-b914-cc567bea8fb3@isocpp.org> article Path: news.gmane.org!.POSTED!not-for-mail From: Alberto Barbati Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: Contract attributes and trailing return types Date: Fri, 3 Aug 2018 01:54:35 -0700 (PDT) Lines: 67 Approved: news@gmane.org Message-ID: <41297ed8-df8b-4802-b914-cc567bea8fb3@isocpp.org> References: <08e4fce4-e6c6-4dc2-a9ca-098f1ed8b380@isocpp.org> <9dd24044-8886-4b01-8724-0586b5ed1f55@isocpp.org> Reply-To: std-proposals@isocpp.org NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_571_23024191.1533286475645" X-Trace: blaine.gmane.org 1533286351 10504 195.159.176.226 (3 Aug 2018 08:52:31 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Fri, 3 Aug 2018 08:52:31 +0000 (UTC) Cc: hamza_sood@me.com To: ISO C++ Standard - Future Proposals Original-X-From: std-proposals+bncBCPY5DV6RIMBBTFQSDNQKGQEYYSXJ5Y@isocpp.org Fri Aug 03 10:52:27 2018 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-yb0-f200.google.com ([209.85.213.200]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1flVow-0002f9-Ta for gclcip-std-proposals@m.gmane.org; Fri, 03 Aug 2018 10:52:27 +0200 Original-Received: by mail-yb0-f200.google.com with SMTP id k10-v6sf4109594ybp.7 for ; Fri, 03 Aug 2018 01:54:37 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=isocpp-org.20150623.gappssmtp.com; s=20150623; h=date:from:to:cc:message-id:in-reply-to:references:subject :mime-version:x-original-sender:reply-to:precedence:mailing-list :list-id:list-post:list-help:list-archive:list-subscribe :list-unsubscribe; bh=GnyrF0dWCrBAC76hH3Swb9uw8ZJeyJ3ofJkhhPTs81Y=; b=1eWfiTHP/ey0IoF0rpW/aZ6bx003KssLyo7oQJBMPTyxuFEyUJi4BZfRxb6TG1aj1v SPzuWP4AJhP73a/Yot+wwUFqpi3nsJnkAKKS7v+XKcuDnHghefVNuwIhDu3DEgHX8tUQ DR6BzE7KxUnXPgeI46lMZx31gUkr9M6h1AqHumaSOs+8UJikcEnoFdjvT9VXVpQXrOLP PLJ+0BcAJ3ZEUIbtXZtXU+wAxwX3S7SNX/OXjWfNXLTMbaCLWFsCST3bfG2NgIaWXLJ1 P4zfelDIIbkEZWvC1fg1Iu4txzaSnlZLgjg4t9kFHqzTCGdLaPUTypj5LI4ndiQEE8+Z FUmQ== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=date:from:to:cc:message-id:in-reply-to:references:subject :mime-version:x-original-sender:reply-to:precedence:mailing-list :list-id:list-post:list-help:list-archive:list-subscribe :list-unsubscribe; bh=GnyrF0dWCrBAC76hH3Swb9uw8ZJeyJ3ofJkhhPTs81Y=; b=OqhyDqABux0/J5mX/ch1H+YoZov7AhAOfn5dWJrm/VclYhFkCIpASLJJBk5SkJgRer uK4tRldYXo0my5aGTqRXuBwNNQBBlsfe24GTH57fKVBf/KYrMVAXxAuyAOfiNc0DusUR unbXW748Rv92X1JZuV4znTl+10oG9KUun/abPayiS3aUK2/kKdjUXoQ9+u6RcmhCRaU4 XAKqE2X/ncDGemef2VItYmmcU09Q2sZgv2Pds69VjVlK95FYcWJbYj3+iMaiQLZbXmev nByEUEt+K8VbJ5QPm1wBZ3dhoR8I92K8lRTD/yIOGBEK4eDxcGhvHsGKHfa6CtSzxd80 VKkw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:date:from:to:cc:message-id:in-reply-to :references:subject:mime-version:x-original-sender:reply-to :precedence:mailing-list:list-id:x-spam-checked-in-group:list-post :list-help:list-archive:list-subscribe:list-unsubscribe; bh=GnyrF0dWCrBAC76hH3Swb9uw8ZJeyJ3ofJkhhPTs81Y=; b=qTFoIOIXZW7t/LMvswOGE8NCEVlPzHiAZ+PMkV+TaYGq11NW4msRKHeOKZFnLkAT8o vaAPgacxySrkbAOO/c1Y6E3I68zKZJGjZPz/SPIKBOhCJASK2Mv1REFBhGE/lzJTeDNk FwvcanoYn9wkEOeLloNBTpl8HrGakLGXPrixSRxtgrVJvSopOSLNhzP2mr3bQbWOXkoH +r0sJb6+S10pw5ModhtKE7TOxsOLrIdmyWQPAo7LSgCUy5CeOv7HdSTVYJInsHdlfEwv VRe+tFxBDiCvbPiOR7yUTPbVfvG23ZdS0QfFxGvFP/h0+AW6uzy0b0+lTjIg56DOZP7s pwhw== X-Gm-Message-State: AOUpUlEhIlIafQ4XVEVw2BoyAKHMsibr0tKqmpUeLQZT0ptCSarUlpVG P+mFzKKlQ5h02+mt8S0Jycg1lw== X-Google-Smtp-Source: AAOMgpe/lclSkMeR466QLSt+gl5y3Ymn5H5zC23fTcTNYLTlhQRN6L1uEop4wLEY8rzROp/unwdziA== X-Received: by 2002:a81:128d:: with SMTP id 135-v6mr1836853yws.28.1533286477441; Fri, 03 Aug 2018 01:54:37 -0700 (PDT) X-BeenThere: std-proposals@isocpp.org Original-Received: by 2002:a81:9b97:: with SMTP id s145-v6ls728423ywg.43.gmail; Fri, 03 Aug 2018 01:54:36 -0700 (PDT) X-Received: by 2002:a81:3807:: with SMTP id f7-v6mr142633ywa.4.1533286476335; Fri, 03 Aug 2018 01:54:36 -0700 (PDT) In-Reply-To: X-Original-Sender: AlbertoBarbati@gmail.com Precedence: list Mailing-list: list std-proposals@isocpp.org; contact std-proposals+owners@isocpp.org List-ID: X-Spam-Checked-In-Group: std-proposals@isocpp.org X-Google-Group-Id: 399137483710 List-Post: , List-Help: , List-Archive: List-Subscribe: , List-Unsubscribe: , Xref: news.gmane.org gmane.comp.lang.c++.isocpp.proposals:39518 Archived-At: ------=_Part_571_23024191.1533286475645 Content-Type: multipart/alternative; boundary="----=_Part_572_94556748.1533286475645" ------=_Part_572_94556748.1533286475645 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Il giorno gioved=C3=AC 2 agosto 2018 20:51:24 UTC+2, Hamza Sood ha scritto: > > Right, but the current placement also conflicts with an existing meaning:= =20 > attributes at that location appertain to the function type. > I don't see where is the conflict since contracts appertain to the function= =20 type, not to the function. See [dcl.attr.contracts]/6: "A contract=20 condition may be applied to the function type of a function declaration.".= =20 See also section 2.2 of http://wg21.link/P0542 --=20 You received this message because you are subscribed to the Google Groups "= ISO C++ Standard - Future Proposals" group. To unsubscribe from this group and stop receiving emails from it, send an e= mail to std-proposals+unsubscribe@isocpp.org. To post to this group, send email to std-proposals@isocpp.org. To view this discussion on the web visit https://groups.google.com/a/isocpp= ..org/d/msgid/std-proposals/41297ed8-df8b-4802-b914-cc567bea8fb3%40isocpp.or= g. ------=_Part_572_94556748.1533286475645 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Il giorno gioved=C3=AC 2 agosto 2018 20:51:24 UTC+2, Hamza= Sood ha scritto:
Right, but the current placement also conflicts with an existing meanin= g: attributes at that location appertain to the function type.

I don't see where is the conflict since c= ontracts appertain to the function type, not to the function. See [dcl.attr= ..contracts]/6: "A contract condition may be applied to the function ty= pe of a function declaration.". See also section 2.2 of http://wg21.link/P0542

--
You received this message because you are subscribed to the Google Groups &= quot;ISO C++ Standard - Future Proposals" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to std-proposa= ls+unsubscribe@isocpp.org.
To post to this group, send email to std-proposals@isocpp.org.
To view this discussion on the web visit https://groups.google.= com/a/isocpp.org/d/msgid/std-proposals/41297ed8-df8b-4802-b914-cc567bea8fb3= %40isocpp.org.
------=_Part_572_94556748.1533286475645-- ------=_Part_571_23024191.1533286475645-- .