OnHit
This is not useful now that query results are `Copy`.
For more information about how rustc works, see the rustc dev guide.