tree 4074e0de30ad53c409a170fd381cdd5eaf141ea0
parent 21eb64f4c6cb11f3b133fee8f6352bc04e935827
author Nigel Tao <nigeltao@golang.org> 1550292002 +1100
committer Nigel Tao <nigeltao@golang.org> 1550292002 +1100

Check that extra-field types aren't refined