@@ -530,7 +530,7 @@ pub trait PrettyPrinter<'tcx>:
530530 ty:: Ref ( r, ty, mutbl) => {
531531 p ! ( "&" ) ;
532532 if self . region_should_not_be_omitted ( r) {
533- p ! ( print( r) , write ( " " ) ) ;
533+ p ! ( print( r) , " " ) ;
534534 }
535535 p ! ( print( ty:: TypeAndMut { ty, mutbl } ) )
536536 }
@@ -2064,31 +2064,19 @@ define_print_and_forward_display! {
20642064 ty:: PredicateAtom :: Projection ( predicate) => p!( print( predicate) ) ,
20652065 ty:: PredicateAtom :: WellFormed ( arg) => p!( print( arg) , " well-formed" ) ,
20662066 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" )
20702068 }
20712069 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) )
20752071 }
20762072 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" )
20802074 }
20812075 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) , "`" )
20872077 }
20882078 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" )
20922080 }
20932081 }
20942082 }
0 commit comments