@@ -575,44 +575,6 @@ impl<'a, 'gcx, 'tcx> InferCtxt<'a, 'gcx, 'tcx> {
575
575
= self . on_unimplemented_note ( trait_ref, obligation) ;
576
576
let have_alt_message = message. is_some ( ) || label. is_some ( ) ;
577
577
578
- // {
579
- // let ty::Binder(trait_ref) = trait_ref;
580
- // println!("TraitRef: {:?}", trait_ref);
581
- // println!("TraitRef: id:{:?}; subst:{:?}", trait_ref.def_id, trait_ref.substs);
582
-
583
- // if let ty::Predicate::Trait(trait_predicate_binder) =
584
- // trait_ref.to_predicate() {
585
- // let trait_predicate = trait_predicate_binder.skip_binder();
586
- // println!("TraitPredicateBinder: {:?}", trait_predicate_binder);
587
- // println!("TraitPredicate: {:?}", trait_predicate);
588
-
589
- // let trait_ty = trait_ref.self_ty();
590
- // println!("TraitPredicateTy: {:?}", trait_ty);
591
- // println!("TraitPredicateTy: sty:{:?}; flags{:?}", trait_ty.sty, trait_ty.flags);
592
- // }
593
-
594
- // for in_ty in trait_ref.input_types() {
595
- // println!("\t- {:?}", in_ty);
596
- // println!("\t\t- sty:{:?}; flags:{:?}", in_ty.sty, in_ty.flags);
597
- // }
598
-
599
- // println!("Message: {:?}", message);
600
- // println!("Label: {:?}", label);
601
- // println!("Obligation: {:?}", obligation);
602
- // println!("Span: {:?}", self.tcx.sess.codemap().span_to_string(span));
603
-
604
- // let body_id = obligation.cause.body_id;
605
- // println!("BodyId: {:?}", body_id);
606
- // println!("BodyIdSpan: {:?}", self.tcx.hir.span(body_id));
607
-
608
- // match self.tcx.hir.find(body_id) {
609
- // Some(node) => println!("Node: {:?}", node),
610
- // None => println!("Node not found."),
611
- // }
612
-
613
- // println!("=------------------------------=");
614
- // }
615
-
616
578
let mut err = struct_span_err ! (
617
579
self . tcx. sess,
618
580
span,
0 commit comments