Auto merge of #137669 - DianQK:fn-atts-virtual, r=saethlin

Don't infer attributes of virtual calls based on the function body

Fixes (after backport) #137646.
Since we don't know the exact implementation of the virtual call, it might write to parameters, we can't infer the readonly attribute.

Author: bors