@@ -530,7 +530,7 @@ pub trait PrettyPrinter<'tcx>:
530
530
ty:: Ref ( r, ty, mutbl) => {
531
531
p ! ( "&" ) ;
532
532
if self . region_should_not_be_omitted ( r) {
533
- p ! ( print( r) , write ( " " ) ) ;
533
+ p ! ( print( r) , " " ) ;
534
534
}
535
535
p ! ( print( ty:: TypeAndMut { ty, mutbl } ) )
536
536
}
@@ -2064,31 +2064,19 @@ define_print_and_forward_display! {
2064
2064
ty:: PredicateAtom :: Projection ( predicate) => p!( print( predicate) ) ,
2065
2065
ty:: PredicateAtom :: WellFormed ( arg) => p!( print( arg) , " well-formed" ) ,
2066
2066
ty:: PredicateAtom :: ObjectSafe ( trait_def_id) => {
2067
- p!( "the trait `" ,
2068
- print_def_path( trait_def_id, & [ ] ) ,
2069
- "` is object-safe" )
2067
+ p!( "the trait `" , print_def_path( trait_def_id, & [ ] ) , "` is object-safe" )
2070
2068
}
2071
2069
ty:: PredicateAtom :: ClosureKind ( closure_def_id, _closure_substs, kind) => {
2072
- p!( "the closure `" ,
2073
- print_value_path( closure_def_id, & [ ] ) ,
2074
- write( "` implements the trait `{}`" , kind) )
2070
+ p!( "the closure `" , print_value_path( closure_def_id, & [ ] ) , write( "` implements the trait `{}`" , kind) )
2075
2071
}
2076
2072
ty:: PredicateAtom :: ConstEvaluatable ( def, substs) => {
2077
- p!( "the constant `" ,
2078
- print_value_path( def. did, substs) ,
2079
- "` can be evaluated" )
2073
+ p!( "the constant `" , print_value_path( def. did, substs) , "` can be evaluated" )
2080
2074
}
2081
2075
ty:: PredicateAtom :: ConstEquate ( c1, c2) => {
2082
- p!( "the constant `" ,
2083
- print( c1) ,
2084
- "` equals `" ,
2085
- print( c2) ,
2086
- "`" )
2076
+ p!( "the constant `" , print( c1) , "` equals `" , print( c2) , "`" )
2087
2077
}
2088
2078
ty:: PredicateAtom :: TypeWellFormedFromEnv ( ty) => {
2089
- p!( "the type `" ,
2090
- print( ty) ,
2091
- "` is found in the environment" )
2079
+ p!( "the type `" , print( ty) , "` is found in the environment" )
2092
2080
}
2093
2081
}
2094
2082
}
0 commit comments