when all generic T of `f ()` have been auto-reified or parsed from /* */, check their correctness
source not stored for this graph (policy: none)
no test coverage detected