Interesting. I've used gopter a lot for property-based testing, though it's very complex (and impressive), and can get slow or require hacks for complex types.

I'm glad this is being made, but like many other things that have been added to Go, it shows the limitations of the language that you can't just build this inside the language. (I might be wrong, as I haven't had a chance to look at the design docs/implementation yet, but the installation instructions imply that's the case).