RSRP-175429: Generated code should include 'unsafe' modifier if the code is unsafe and is not already under another 'unsafe' modifier

class A<T>
{
    public virtual void Foo(T x = default(T)) {  }
}

unsafe class B : A<int*[]> { }

class C : B
{
    // Generate overriding members
}

class C : B
{
    public override void Foo(int*[] x = null) // error CS0214: Pointers and fixed size buffers may only be used in an unsafe context
    {
        throw new NotImplementedException();
    }
}

class C : B
{
    public unsafe override void Foo(int*[] x = null)
    {
        throw new NotImplementedException();
    }
}