P1685 Make get/set_default_resource replaceable

[wg21bot]

P1685R0 Make get/set_default_resource replaceable (Pablo Halpern)

[brycelelbach]

This is P2 unscheduled in LEWG for Cologne; so LEWGI will take a look at it.

[brycelelbach]

Cologne 2019-07 LEWGI Minutes

P1658R0 Make std::get/set_default_resource Replaceable: Direction Review

Champion: Pablo Halpern

Minute Taker: Odin Holmes

Start Overview: 07-17 9:32

Start Review: 9:39

Start Polling: 9:45

POLL: We should promise more committee time to pursuing P1658R0 (as is), knowing that our time is scarce and this will leave less time for other work.

Strongly For	Weakly For	Neutral	Weakly Against	Strongly Against
2	3	3	4	1

Attendance: 17

No consensus.

POLL: We should promise more committee time to exploring deprecating std::set_memory_resource and making std::get_memory_resource replaceable, knowing that our time is scarce and this will leave less time for other work.

Strongly For	Weakly For	Neutral	Weakly Against	Strongly Against
2	7	2	1	1

Attendance: 17

This has the strongest consensus.

POLL: We should promise more committee time to exploring deprecating std::get/set_memory_resource, knowing that our time is scarce and this will leave less time for other work.

Strongly For	Weakly For	Neutral	Weakly Against	Strongly Against
1	4	6	1	1

Attendance: 17

This has weak consensus.

End: 9:48

Referral to EWGI as this is language territory.

Referral to SG12/WG23 for the vulnerability-closing motivation.

CONSENSUS: Bring a revision of P1685R0, exploring deprecating std::set_memory_resource and making std::get_memory_resource replaceable, to LEWGI for further design review.

[brycelelbach]

This was missing needs-revision. It doesn't need revision for EWGI and SG12/WG23 to see it.