diff options
author | Nadrieril | 2020-03-17 23:01:35 +0000 |
---|---|---|
committer | Nadrieril | 2020-03-17 23:14:32 +0000 |
commit | c22e161f7bd97d4f6c063513cc051f6af2683d84 (patch) | |
tree | 7ebb20c3e9db1657a731c5871716e82685dcab6d /dhall/src/semantics/tck/env.rs | |
parent | 681dad33cf27b2be4f4b3cefd83998af1d7eefb2 (diff) |
Run clippy
Diffstat (limited to 'dhall/src/semantics/tck/env.rs')
-rw-r--r-- | dhall/src/semantics/tck/env.rs | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/dhall/src/semantics/tck/env.rs b/dhall/src/semantics/tck/env.rs index 17b3cfe..6dd5076 100644 --- a/dhall/src/semantics/tck/env.rs +++ b/dhall/src/semantics/tck/env.rs @@ -21,18 +21,18 @@ impl VarEnv { pub fn from_size(size: usize) -> Self { VarEnv { size } } - pub fn size(&self) -> usize { + pub fn size(self) -> usize { self.size } - pub fn insert(&self) -> Self { + pub fn insert(self) -> Self { VarEnv { size: self.size + 1, } } - pub fn lookup(&self, var: &NzVar) -> AlphaVar { + pub fn lookup(self, var: NzVar) -> AlphaVar { self.lookup_fallible(var).unwrap() } - pub fn lookup_fallible(&self, var: &NzVar) -> Option<AlphaVar> { + pub fn lookup_fallible(self, var: NzVar) -> Option<AlphaVar> { let idx = self.size.checked_sub(var.idx() + 1)?; Some(AlphaVar::new(idx)) } @@ -67,8 +67,8 @@ impl TyEnv { items: self.items.insert_value(e, ty), } } - pub fn lookup(&self, var: &AlphaVar) -> Type { - self.items.lookup_ty(&var) + pub fn lookup(&self, var: AlphaVar) -> Type { + self.items.lookup_ty(var) } } |