aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/lib.rs
diff options
context:
space:
mode:
authorFlorian Diebold <[email protected]>2021-04-05 20:17:35 +0100
committerFlorian Diebold <[email protected]>2021-04-05 20:58:03 +0100
commit2f5a77658baafad1fe3551971ebbcdce87760847 (patch)
tree940789c56348e2994d8941136fbc2f5dfc90fbc2 /crates/hir_ty/src/lib.rs
parent788533d38091472ed05c8b55fd7a2002c49f4eb7 (diff)
Substitution::single -> from1
Diffstat (limited to 'crates/hir_ty/src/lib.rs')
-rw-r--r--crates/hir_ty/src/lib.rs9
1 files changed, 0 insertions, 9 deletions
diff --git a/crates/hir_ty/src/lib.rs b/crates/hir_ty/src/lib.rs
index 928dd76e5..6d5123cf1 100644
--- a/crates/hir_ty/src/lib.rs
+++ b/crates/hir_ty/src/lib.rs
@@ -31,7 +31,6 @@ mod test_db;
31use std::sync::Arc; 31use std::sync::Arc;
32 32
33use itertools::Itertools; 33use itertools::Itertools;
34use smallvec::SmallVec;
35 34
36use base_db::salsa; 35use base_db::salsa;
37use hir_def::{ 36use hir_def::{
@@ -77,14 +76,6 @@ pub type ChalkTraitId = chalk_ir::TraitId<Interner>;
77pub type FnSig = chalk_ir::FnSig<Interner>; 76pub type FnSig = chalk_ir::FnSig<Interner>;
78 77
79impl Substitution { 78impl Substitution {
80 pub fn single(ty: Ty) -> Substitution {
81 Substitution::intern({
82 let mut v = SmallVec::new();
83 v.push(ty.cast(&Interner));
84 v
85 })
86 }
87
88 pub fn prefix(&self, n: usize) -> Substitution { 79 pub fn prefix(&self, n: usize) -> Substitution {
89 Substitution::intern(self.interned()[..std::cmp::min(self.len(&Interner), n)].into()) 80 Substitution::intern(self.interned()[..std::cmp::min(self.len(&Interner), n)].into())
90 } 81 }