pub trait PrintPolyTraitPredicateExt<'tcx> {
// Required methods
fn print_modifiers_and_trait_path(
self,
) -> Binder<'tcx, TraitPredPrintModifiersAndPath<'tcx>>;
fn print_with_bound_constness(
self,
constness: BoundConstness,
) -> Binder<'tcx, TraitPredPrintWithBoundConstness<'tcx>>;
}