@@ -542,12 +542,12 @@ fn process_predicate1<'a,'tcx>(selcx: &mut SelectionContext<'a,'tcx>,
542542 let trait_obligation = obligation. with ( data. clone ( ) ) ;
543543 match selcx. select ( & trait_obligation) {
544544 Ok ( Some ( vtable) ) => {
545- info ! ( "selecting trait `{:?}` at depth {} yielded Ok(Some)" ,
545+ debug ! ( "selecting trait `{:?}` at depth {} yielded Ok(Some)" ,
546546 data, obligation. recursion_depth) ;
547547 Ok ( Some ( vtable. nested_obligations ( ) ) )
548548 }
549549 Ok ( None ) => {
550- info ! ( "selecting trait `{:?}` at depth {} yielded Ok(None)" ,
550+ debug ! ( "selecting trait `{:?}` at depth {} yielded Ok(None)" ,
551551 data, obligation. recursion_depth) ;
552552
553553 // This is a bit subtle: for the most part, the
@@ -781,8 +781,6 @@ impl<'tcx> GlobalFulfilledPredicates<'tcx> {
781781 self . dep_graph . read ( data. dep_node ( ) ) ;
782782 debug ! ( "check_duplicate: global predicate `{:?}` already proved elsewhere" , data) ;
783783
784- info ! ( "check_duplicate_trait hit: `{:?}`" , data) ;
785-
786784 true
787785 } else {
788786 false
@@ -798,7 +796,6 @@ impl<'tcx> GlobalFulfilledPredicates<'tcx> {
798796 if data. is_global ( ) {
799797 if self . set . insert ( data. clone ( ) ) {
800798 debug ! ( "add_if_global: global predicate `{:?}` added" , data) ;
801- info ! ( "check_duplicate_trait entry: `{:?}`" , data) ;
802799 }
803800 }
804801 }
0 commit comments