Re: [v3 PATCH] Implement LWG 2825, LWG 2756 breaks class template argument deduction for optional.

2017-02-21 Thread Jason Merrill
On Mon, Jan 30, 2017 at 4:48 PM, Ville Voutilainen wrote: > On 31 January 2017 at 00:41, Ville Voutilainen > wrote: >> On 31 January 2017 at 00:06, Tim Song wrote: >>> On Mon, Jan 30, 2017 at 9:36 PM Jonathan

Re: [v3 PATCH] Implement LWG 2825, LWG 2756 breaks class template argument deduction for optional.

2017-01-30 Thread Tim Song
On Tue, Jan 31, 2017 at 8:48 AM Ville Voutilainen wrote: > > On 31 January 2017 at 00:41, Ville Voutilainen > wrote: > > I don't actually need to constrain it, I could just add a guide like > > template optional(optional<_Tp>) ->

Re: [v3 PATCH] Implement LWG 2825, LWG 2756 breaks class template argument deduction for optional.

2017-01-30 Thread Ville Voutilainen
On 31 January 2017 at 00:41, Ville Voutilainen wrote: > On 31 January 2017 at 00:06, Tim Song wrote: >> On Mon, Jan 30, 2017 at 9:36 PM Jonathan Wakely wrote: >>> >>> On 30/01/17 13:28 +, Jonathan Wakely wrote: >>> >On

Re: [v3 PATCH] Implement LWG 2825, LWG 2756 breaks class template argument deduction for optional.

2017-01-30 Thread Ville Voutilainen
On 31 January 2017 at 00:06, Tim Song wrote: > On Mon, Jan 30, 2017 at 9:36 PM Jonathan Wakely wrote: >> >> On 30/01/17 13:28 +, Jonathan Wakely wrote: >> >On 30/01/17 13:47 +0200, Ville Voutilainen wrote: >> >>Tested on Linux-x64. >> > >> >OK,

Re: [v3 PATCH] Implement LWG 2825, LWG 2756 breaks class template argument deduction for optional.

2017-01-30 Thread Tim Song
On Mon, Jan 30, 2017 at 9:36 PM Jonathan Wakely wrote: > > On 30/01/17 13:28 +, Jonathan Wakely wrote: > >On 30/01/17 13:47 +0200, Ville Voutilainen wrote: > >>Tested on Linux-x64. > > > >OK, thanks. > > To be clear: this isn't approved by LWG yet, but I think we can be a

Re: [v3 PATCH] Implement LWG 2825, LWG 2756 breaks class template argument deduction for optional.

2017-01-30 Thread Jonathan Wakely
On 30/01/17 13:28 +, Jonathan Wakely wrote: On 30/01/17 13:47 +0200, Ville Voutilainen wrote: Tested on Linux-x64. OK, thanks. To be clear: this isn't approved by LWG yet, but I think we can be a bit adventurous with deduction guides and add them for experimental C++17 features. Getting

Re: [v3 PATCH] Implement LWG 2825, LWG 2756 breaks class template argument deduction for optional.

2017-01-30 Thread Jonathan Wakely
On 30/01/17 13:47 +0200, Ville Voutilainen wrote: Tested on Linux-x64. OK, thanks.

[v3 PATCH] Implement LWG 2825, LWG 2756 breaks class template argument deduction for optional.

2017-01-30 Thread Ville Voutilainen
Tested on Linux-x64. 2017-01-30 Ville Voutilainen Implement LWG 2825, LWG 2756 breaks class template argument deduction for optional. * include/std/optional: Add a deduction guide. * testsuite/20_util/optional/cons/deduction_guide.cc: New. diff