Completion list for explicit interface implementation doesn't include checked keyword for checked user-defined operators

[AlekseyTs]

interface I1<T> where T : I1<T>
{
    abstract static T operator checked -(T x);
    abstract static T operator -(T x);

    abstract static T operator checked +(T x, T y);
    abstract static T operator +(T x, T y);

    abstract static explicit operator checked string(T x);
    abstract static explicit operator string(T x);
}


class C3 : I1<C3>
{
    static C3 I1<C3>.
}

Observed:

Note that, when the highlighted entry is chosen, the checked modifier is not included into the added code.