Feature Request: Hashed Based Assertion

[qznc via Digitalmars-d]

On Thursday, 26 November 2015 at 11:12:07 UTC, tcak wrote:
> I brought this topic in "Learn" a while ago, but I want to talk 
> about it again.
>
> You are in a big team or working with a big code base. APIs are 
> being defined/modified, configuration constants are 
> defined/modified, structures are defined/modified for data.
>
> You are coding on business logic side, and relying everything 
> based on current APIs, configuration, and data structures. A 
> part of codes have been updated on API side, but you are not 
> aware of it, or time has passed, and you assume that your code 
> will work properly. Nobody would be checking every single part 
> of business logic line by line.

This is the job of the type checker, isn't it? What would a hash 
provide that a type checker does not?