-
Austin Seipp authored
As Krzysztof pointed out in #8306, with NegativeLiterals and DataKinds, definitions such as: type T = -1 were accepted, although type literals must be greater than zero. Signed-off-by: Austin Seipp <austin@well-typed.com>
3ee47002