modelize: do not warn `useless-type` for a covariant redefinition of a getter return...