File tree Expand file tree Collapse file tree 2 files changed +3
-3
lines changed Expand file tree Collapse file tree 2 files changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -410,6 +410,7 @@ TrivialLiftImpls! {
410
410
u64 ,
411
411
:: rustc_hir:: def_id:: DefId ,
412
412
:: rustc_hir:: Mutability ,
413
+ crate :: ty:: ClosureKind ,
413
414
crate :: ty:: ParamConst ,
414
415
crate :: ty:: ParamTy ,
415
416
interpret:: Scalar ,
@@ -431,7 +432,6 @@ TrivialTypeTraversalImpls! {
431
432
TrivialTypeTraversalAndLiftImpls ! {
432
433
:: rustc_hir:: Unsafety ,
433
434
:: rustc_target:: spec:: abi:: Abi ,
434
- crate :: ty:: ClosureKind ,
435
435
}
436
436
437
437
///////////////////////////////////////////////////////////////////////////
Original file line number Diff line number Diff line change @@ -376,7 +376,7 @@ where
376
376
I :: Term : TypeFoldable < I > ,
377
377
I :: CoercePredicate : TypeFoldable < I > ,
378
378
I :: SubtypePredicate : TypeFoldable < I > ,
379
- I :: ClosureKind : TypeFoldable < I > ,
379
+ I :: ClosureKind : BoringTraversable ,
380
380
ClauseKind < I > : TypeFoldable < I > ,
381
381
{
382
382
fn try_fold_with < F : FallibleTypeFolder < I > > ( self , folder : & mut F ) -> Result < Self , F :: Error > {
@@ -420,7 +420,7 @@ where
420
420
I :: Term : TypeVisitable < I > ,
421
421
I :: CoercePredicate : TypeVisitable < I > ,
422
422
I :: SubtypePredicate : TypeVisitable < I > ,
423
- I :: ClosureKind : TypeVisitable < I > ,
423
+ I :: ClosureKind : BoringTraversable ,
424
424
ClauseKind < I > : TypeVisitable < I > ,
425
425
{
426
426
fn visit_with < V : TypeVisitor < I > > ( & self , visitor : & mut V ) -> ControlFlow < V :: BreakTy > {
You can’t perform that action at this time.
0 commit comments