NativeAot doesn't warn for base/override annotation mismatch on generic virtual methods

[sbomer]

Description

NativeAot is missing warnings for virtual base/override validation when the virtual method is generic.

Reproduction Steps

class G
{
    public virtual void M<[DAM(DAMT.All)]T>([DAM(DAMT.All)] Type t) {}

    public virtual void M([DAM(DAMT.All)] Type t) {}
}

class D : G
{
    public override void M<T>(Type t) {} // no warning (for T or t)

    public override void M(Type t) {} // warning
}

Expected behavior

The generic parameter and the Type parameter of the derived method should warn about mismatching annotations.

Actual behavior

No warning

Regression?

No response

Known Workarounds

No response

Configuration

No response

Other information

No response

[dotnet-issue-labeler]

I couldn't figure out the best area label to add to this issue. If you have write-permissions please help me learn by adding exactly one area label.

[sbomer]

Looks like this was fixed by #78157.