Is this really a limitation for using interfaces such as IList <T> .someMethod in AOT code?

In monoproject documentation this restriction is indicated:

Restriction: Generating an interface.

The following interface dispatch class is not supported in FullAOT mode:

interface IFoo<T> {
...
    void SomeMethod ();
}

Since Mono cannot determine from static analysis that the method will implement IFoo.SomeMethod, this particular template is not supported.

We used code like this without the knowledge of this restriction, and are currently trying to find out if any stability issues are related to it. It seems to work as expected, and so we are skeptical about this issue. Our code compiles into AOT without errors and works without any errors. Is this just old documentation?

: ... #, IList, , ?