tree 6ffdff9c81e346990e48990b80c3dcac00b87a3c
parent afc6bb9ec3a9a05afa0035681a0108b8244958b9
author Nigel Tao <nigeltao@golang.org> 1610687058 +1100
committer Nigel Tao <nigeltao@golang.org> 1610687058 +1100

Reject type refinements unless of numeric types