Function pred_is_required 

fn pred_is_required(
    ctx: &AssistContext<'_, '_>,
    pred: &WherePred,
    used_type_params: &[TypeParam],
) -> bool