It’s important to only rely on the declaration, for a few reasons. One of the simpler ones is that the body may be in another translation unit.

You do solely rely on the declaration.

From P3465: "why this is a scalable compile-time solution, because it requires only function-local analysis"

Profiles uses local analysis, as does borrow checking. Whole program analysis is something you don't want to mess with.