File tree Expand file tree Collapse file tree 1 file changed +10
-14
lines changed
compiler/rustc_typeck/src Expand file tree Collapse file tree 1 file changed +10
-14
lines changed Original file line number Diff line number Diff line change @@ -67,22 +67,18 @@ impl<'tcx> Bounds<'tcx> {
6767
6868 sized_predicate
6969 . into_iter ( )
70+ . chain ( self . region_bounds . iter ( ) . map ( |& ( region_bound, span) | {
71+ let outlives = ty:: OutlivesPredicate ( param_ty, region_bound) ;
72+ ( ty:: Binder :: bind ( outlives) . to_predicate ( tcx) , span)
73+ } ) )
74+ . chain ( self . trait_bounds . iter ( ) . map ( |& ( bound_trait_ref, span, constness) | {
75+ let predicate = bound_trait_ref. with_constness ( constness) . to_predicate ( tcx) ;
76+ ( predicate, span)
77+ } ) )
7078 . chain (
71- self . region_bounds
79+ self . projection_bounds
7280 . iter ( )
73- . map ( |& ( region_bound, span) | {
74- let outlives = ty:: OutlivesPredicate ( param_ty, region_bound) ;
75- ( ty:: Binder :: bind ( outlives) . to_predicate ( tcx) , span)
76- } )
77- . chain ( self . trait_bounds . iter ( ) . map ( |& ( bound_trait_ref, span, constness) | {
78- let predicate = bound_trait_ref. with_constness ( constness) . to_predicate ( tcx) ;
79- ( predicate, span)
80- } ) )
81- . chain (
82- self . projection_bounds
83- . iter ( )
84- . map ( |& ( projection, span) | ( projection. to_predicate ( tcx) , span) ) ,
85- ) ,
81+ . map ( |& ( projection, span) | ( projection. to_predicate ( tcx) , span) ) ,
8682 )
8783 . collect ( )
8884 }
You can’t perform that action at this time.
0 commit comments