Issue 13010: use VRP for static asserts

https://issues.dlang.org/show_bug.cgi?id=13010