Analyzer needs to warn on virtual methods #1985

// On one file
public virtual void VirtualMethod() => null

// On some other file
[RequiresAttributeFiles]
public override void VirtualMethod(){ 
   SomeCode
}

public void M1(){
    VirtualMethod(); //This doesnt warn on the analyzer
}