File tree Expand file tree Collapse file tree 1 file changed +0
-9
lines changed Expand file tree Collapse file tree 1 file changed +0
-9
lines changed Original file line number Diff line number Diff line change @@ -124,14 +124,6 @@ pub type ConstrainedSubst = chalk_ir::ConstrainedSubst<Interner>;
124
124
pub type Guidance = chalk_solve:: Guidance < Interner > ;
125
125
pub type WhereClause = chalk_ir:: WhereClause < Interner > ;
126
126
127
- // FIXME: get rid of this
128
- pub fn subst_prefix ( s : & Substitution , n : usize ) -> Substitution {
129
- Substitution :: from_iter (
130
- Interner ,
131
- s. as_slice ( Interner ) [ ..std:: cmp:: min ( s. len ( Interner ) , n) ] . iter ( ) . cloned ( ) ,
132
- )
133
- }
134
-
135
127
/// Return an index of a parameter in the generic type parameter list by it's id.
136
128
pub fn param_idx ( db : & dyn HirDatabase , id : TypeOrConstParamId ) -> Option < usize > {
137
129
generics ( db. upcast ( ) , id. parent ) . param_idx ( id)
@@ -382,7 +374,6 @@ pub(crate) fn fold_tys_and_consts<T: HasInterner<Interner = Interner> + TypeFold
382
374
pub fn replace_errors_with_variables < T > ( t : & T ) -> Canonical < T >
383
375
where
384
376
T : HasInterner < Interner = Interner > + TypeFoldable < Interner > + Clone ,
385
- T : HasInterner < Interner = Interner > ,
386
377
{
387
378
use chalk_ir:: {
388
379
fold:: { FallibleTypeFolder , TypeSuperFoldable } ,
You can’t perform that action at this time.
0 commit comments