Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
We want a feature to drive deduction to deducing to a specific type.
EWG saw this: http://wiki.edg.com/bin/view/Wg21belfast/P0847-EWG
Do we encourage further work on P0847, specially wording and implementation?