diff options
| author | Florian Diebold <[email protected]> | 2021-05-21 17:20:56 +0100 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2021-05-21 17:23:03 +0100 |
| commit | 67f1a08fd8eff669a997950cac6c538dd96718b3 (patch) | |
| tree | 2d19db9e808ae1b92c65675eade448f893ff4d7d /crates/hir_ty/src/infer.rs | |
| parent | e9d1550001f79390284cf7f0e958981f387a0c58 (diff) | |
Some remaining cleanups
Diffstat (limited to 'crates/hir_ty/src/infer.rs')
| -rw-r--r-- | crates/hir_ty/src/infer.rs | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/crates/hir_ty/src/infer.rs b/crates/hir_ty/src/infer.rs index a137c0f92..f1cebbdb9 100644 --- a/crates/hir_ty/src/infer.rs +++ b/crates/hir_ty/src/infer.rs | |||
| @@ -373,10 +373,6 @@ impl<'a> InferenceContext<'a> { | |||
| 373 | self.table.unify(ty1, ty2) | 373 | self.table.unify(ty1, ty2) |
| 374 | } | 374 | } |
| 375 | 375 | ||
| 376 | fn unify_inner(&mut self, ty1: &Ty, ty2: &Ty) -> InferResult { | ||
| 377 | self.table.unify_inner(ty1, ty2) | ||
| 378 | } | ||
| 379 | |||
| 380 | fn resolve_ty_shallow(&mut self, ty: &Ty) -> Ty { | 376 | fn resolve_ty_shallow(&mut self, ty: &Ty) -> Ty { |
| 381 | self.resolve_obligations_as_possible(); | 377 | self.resolve_obligations_as_possible(); |
| 382 | self.table.resolve_ty_shallow(ty) | 378 | self.table.resolve_ty_shallow(ty) |