File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -1277,7 +1277,7 @@ impl DebruijnIndex {
1277
1277
///
1278
1278
/// you would need to shift the index for `'a` into 1 new binder.
1279
1279
#[ must_use]
1280
- pub fn shifted_in ( self , amount : u32 ) -> DebruijnIndex {
1280
+ pub const fn shifted_in ( self , amount : u32 ) -> DebruijnIndex {
1281
1281
DebruijnIndex { depth : self . depth + amount }
1282
1282
}
1283
1283
@@ -1290,7 +1290,7 @@ impl DebruijnIndex {
1290
1290
/// Returns the resulting index when this value is moved out from
1291
1291
/// `amount` number of new binders.
1292
1292
#[ must_use]
1293
- pub fn shifted_out ( self , amount : u32 ) -> DebruijnIndex {
1293
+ pub const fn shifted_out ( self , amount : u32 ) -> DebruijnIndex {
1294
1294
DebruijnIndex { depth : self . depth - amount }
1295
1295
}
1296
1296
You can’t perform that action at this time.
0 commit comments