@@ -542,12 +542,12 @@ fn process_predicate1<'a,'tcx>(selcx: &mut SelectionContext<'a,'tcx>,
542
542
let trait_obligation = obligation. with ( data. clone ( ) ) ;
543
543
match selcx. select ( & trait_obligation) {
544
544
Ok ( Some ( vtable) ) => {
545
- info ! ( "selecting trait `{:?}` at depth {} yielded Ok(Some)" ,
545
+ debug ! ( "selecting trait `{:?}` at depth {} yielded Ok(Some)" ,
546
546
data, obligation. recursion_depth) ;
547
547
Ok ( Some ( vtable. nested_obligations ( ) ) )
548
548
}
549
549
Ok ( None ) => {
550
- info ! ( "selecting trait `{:?}` at depth {} yielded Ok(None)" ,
550
+ debug ! ( "selecting trait `{:?}` at depth {} yielded Ok(None)" ,
551
551
data, obligation. recursion_depth) ;
552
552
553
553
// This is a bit subtle: for the most part, the
@@ -781,8 +781,6 @@ impl<'tcx> GlobalFulfilledPredicates<'tcx> {
781
781
self . dep_graph . read ( data. dep_node ( ) ) ;
782
782
debug ! ( "check_duplicate: global predicate `{:?}` already proved elsewhere" , data) ;
783
783
784
- info ! ( "check_duplicate_trait hit: `{:?}`" , data) ;
785
-
786
784
true
787
785
} else {
788
786
false
@@ -798,7 +796,6 @@ impl<'tcx> GlobalFulfilledPredicates<'tcx> {
798
796
if data. is_global ( ) {
799
797
if self . set . insert ( data. clone ( ) ) {
800
798
debug ! ( "add_if_global: global predicate `{:?}` added" , data) ;
801
- info ! ( "check_duplicate_trait entry: `{:?}`" , data) ;
802
799
}
803
800
}
804
801
}
0 commit comments