Codegen: Improve return type of self-typed properties

[hvitved]

For classes with properties that return something of the type itself, such as

class C {
  C getAnother() { ... }
}

the code-generator would previously refer to the internal C class instead of the public C class. In most cases this won't matter, except when the public C class has extra predicates added through the CImpl.qll layer, which means that those predicates are not immediately available (see e.g. 0d5e408#diff-b227718658489f53f4601c823cba31f08b9b76ced280b3197f8bfebd4289b3e0R30).

[Copilot]

Copilot reviewed 9 out of 9 changed files in this pull request and generated 1 comment.

Tip: If you use Visual Studio Code, you can request a review from Copilot before you push from the "Source Control" tab. Learn more

[redsun82]

Thanks!