Function generic_args_prohibited 

pub(crate) fn generic_args_prohibited(
    ctx: &DiagnosticsContext<'_, '_>,
    d: &GenericArgsProhibited,
) -> Diagnostic