Those sorts of things are useful, but mainly on API edges. They also tend to get outdated pretty quickly in code with even moderate churn. It would be interest

Those sorts of things are useful, but mainly on API edges. They also tend to get outdated pretty quickly in code with even moderate churn. It would be interesting to be able to link assertions in a method doc with a test, so that the doc export process/IDE will complain if the test ever gets removed (because the API changed).