Recursive attribute for virtual functions?

[12345swordy]

On Tuesday, 27 March 2018 at 21:05:32 UTC, ag0aep6g wrote:
> On 03/27/2018 11:02 PM, 12345swordy wrote:
>> Then explain this then.
>> https://run.dlang.io/is/S2KLs5
>
> B.talk is @safe. The compiler ignores the @system attribute on 
> B.talk, because A.talk's @safe attribute takes precedence.

Shouldn't it give a warning then?