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/src/semantics/resolve/resolve.rs | |
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 '')
-rw-r--r-- | dhall/src/semantics/resolve/resolve.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall/src/semantics/resolve/resolve.rs b/dhall/src/semantics/resolve/resolve.rs index 488c516..9021155 100644 --- a/dhall/src/semantics/resolve/resolve.rs +++ b/dhall/src/semantics/resolve/resolve.rs @@ -398,7 +398,7 @@ fn traverse_resolve_expr<'cx>( /// Fetch the import and store the result in the global context. fn fetch_import<'cx>( env: &mut ImportEnv<'cx>, - import_id: ImportId, + import_id: ImportId<'cx>, ) -> Result<(), Error> { let cx = env.cx(); let import = &cx[import_id].import; |