The error only occurs at compile time, and IDEA do...

# server

[RandomBK]

The error only occurs at compile time, and IDEA does not recognize the clash. Is there a place where the details of the stub method generation for Collection classes are documented?