[dotaheor]

The constraint expressions are expected to be used in generic declaration body scopes instead of top package scopes. For example: https://github.com/dotaheor/unify-Go-builtin-and-custom-gene..., so I think the ambiguity should not happen.