diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2025-05-16 12:25:44 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2025-05-16 12:25:44 +0200 |
| commit | f969fb5d6172761a2148221b68a0384b53368f8c (patch) | |
| tree | a8a587547787493e40ca510dd532f182a4bac861 /test/Tests | |
| parent | 26b8f3c19cd919f5a45ef07e4ba76bae5cab35ce (diff) | |
Revert "Remove the KnownNat constraint from (:5509)"
This reverts commit 8890526cac9e6c4d5583d00fce55f32ba613cf31.
Removing a _provided_ KnownNat constraint if we cannot remove the actual
Nat information from the data type is rather pointless.
Diffstat (limited to 'test/Tests')
0 files changed, 0 insertions, 0 deletions