This commit is contained in:
flywind 2021-04-16 01:25:03 +08:00 • committed by GitHub
commit 3f56b9944e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -14,4 +14,4 @@ type
of {b, c} - {a}:
y: int
discard U(k: b, y: 1)
doAssert U(k: b, y: 1).y == 1