I'd like to punt to Jason for this patch. > On Dec 23, 2018, at 6:27 PM, Tom Honermann <tom@honermann.net> wrote: > > Attached is a revised patch that addresses changes in P0482R6 as well as feedback provided by Jason for patch 2/9. Changes from the prior patch include: