From 738174671ae40092684d7a9a543f939e318051e5 Mon Sep 17 00:00:00 2001 From: Florian Diebold Date: Mon, 5 Apr 2021 21:25:40 +0200 Subject: Binders::wrap_empty -> wrap_empty_binders --- crates/hir_ty/src/lib.rs | 12 +++++------- 1 file changed, 5 insertions(+), 7 deletions(-) (limited to 'crates/hir_ty/src/lib.rs') diff --git a/crates/hir_ty/src/lib.rs b/crates/hir_ty/src/lib.rs index 6d5123cf1..61f5adbc4 100644 --- a/crates/hir_ty/src/lib.rs +++ b/crates/hir_ty/src/lib.rs @@ -92,13 +92,11 @@ pub fn param_idx(db: &dyn HirDatabase, id: TypeParamId) -> Option { generics(db.upcast(), id.parent).param_idx(id) } -impl Binders { - pub fn wrap_empty(value: T) -> Self - where - T: TypeWalk, - { - Binders::empty(&Interner, value.shifted_in_from(DebruijnIndex::ONE)) - } +pub fn wrap_empty_binders(value: T) -> Binders +where + T: TypeWalk, +{ + Binders::empty(&Interner, value.shifted_in_from(DebruijnIndex::ONE)) } impl Binders { -- cgit v1.2.3