Implementation of Scoped Guards and Unique Resource as proposed in P0052. - View it on GitHub