Currently callbacks aren't triggered for implicit operations, for example auto properties, or primary constructors of records, which means operation based analyzers can't reason about that code.

This causes issues like #47142 and #46132 and would provide an easy way to provide additional analysis like #47666.

There are also workarounds like having Remove Unused Parameters simply ignore all record primary constructors out of hand, that would be unnecessary.