fn sig_from_bounds<'tcx>(
    cx: &LateContext<'tcx>,
    ty: Ty<'tcx>
) -> Option<ExprFnSig<'tcx>>