diff options
author | Nadrieril | 2020-12-07 13:47:21 +0000 |
---|---|---|
committer | Nadrieril | 2020-12-07 19:34:39 +0000 |
commit | 3c522217b7445c6df9e170d830f485086ad7e062 (patch) | |
tree | 2b32d2c9106e6f0f6ad5edc7b3144f33b5991d8c /dhall/tests/type-inference/failure/unit/AssertAlphaTrap.txt | |
parent | c785b7c0c6cd8b3b1cc15eb79caf982a757020ba (diff) |
Tag cx ids with the cx lifetime
To make sure we don't let ids escape and we don't mix scopes.
Diffstat (limited to 'dhall/tests/type-inference/failure/unit/AssertAlphaTrap.txt')
0 files changed, 0 insertions, 0 deletions