fn binding_suggestion<'tcx, S: Display>(
    err: &mut Diagnostic,
    type_param_span: Option<(Span, bool)>,
    bound_kind: GenericKind<'tcx>,
    sub: S,
    add_lt_sugg: Option<(Span, String)>
)