@@ -109,6 +109,7 @@ where
109109 Binder { value, bound_vars : Default :: default ( ) }
110110 }
111111
112+ #[ inline]
112113 pub fn bind_with_vars ( value : T , bound_vars : I :: BoundVarKinds ) -> Binder < I , T > {
113114 if cfg ! ( debug_assertions) {
114115 let mut validator = ValidateBoundVars :: new ( bound_vars) ;
@@ -186,13 +187,15 @@ impl<I: Interner, T> Binder<I, T> {
186187 Binder { value : & self . value , bound_vars : self . bound_vars }
187188 }
188189
190+ #[ inline]
189191 pub fn map_bound_ref < F , U : TypeVisitable < I > > ( & self , f : F ) -> Binder < I , U >
190192 where
191193 F : FnOnce ( & T ) -> U ,
192194 {
193195 self . as_ref ( ) . map_bound ( f)
194196 }
195197
198+ #[ inline]
196199 pub fn map_bound < F , U : TypeVisitable < I > > ( self , f : F ) -> Binder < I , U >
197200 where
198201 F : FnOnce ( T ) -> U ,
@@ -206,6 +209,7 @@ impl<I: Interner, T> Binder<I, T> {
206209 Binder { value, bound_vars }
207210 }
208211
212+ #[ inline]
209213 pub fn try_map_bound < F , U : TypeVisitable < I > , E > ( self , f : F ) -> Result < Binder < I , U > , E >
210214 where
211215 F : FnOnce ( T ) -> Result < U , E > ,
@@ -245,6 +249,7 @@ impl<I: Interner, T> Binder<I, T> {
245249 /// binders, but that would require adjusting the debruijn
246250 /// indices, and given the shallow binding structure we often use,
247251 /// would not be that useful.)
252+ #[ inline]
248253 pub fn no_bound_vars ( self ) -> Option < T >
249254 where
250255 T : TypeVisitable < I > ,
@@ -396,13 +401,15 @@ impl<I: Interner, T> EarlyBinder<I, T> {
396401 EarlyBinder { value : & self . value , _tcx : PhantomData }
397402 }
398403
404+ #[ inline]
399405 pub fn map_bound_ref < F , U > ( & self , f : F ) -> EarlyBinder < I , U >
400406 where
401407 F : FnOnce ( & T ) -> U ,
402408 {
403409 self . as_ref ( ) . map_bound ( f)
404410 }
405411
412+ #[ inline]
406413 pub fn map_bound < F , U > ( self , f : F ) -> EarlyBinder < I , U >
407414 where
408415 F : FnOnce ( T ) -> U ,
@@ -411,6 +418,7 @@ impl<I: Interner, T> EarlyBinder<I, T> {
411418 EarlyBinder { value, _tcx : PhantomData }
412419 }
413420
421+ #[ inline]
414422 pub fn try_map_bound < F , U , E > ( self , f : F ) -> Result < EarlyBinder < I , U > , E >
415423 where
416424 F : FnOnce ( T ) -> Result < U , E > ,
0 commit comments