fn generic_args_certainty(
    cx: &LateContext<'_>,
    args: &GenericArgs<'_>
) -> Certainty