Constrained Deduction Guides

Provide explicit guidance for constructor template argument deduction via concepts.