Reach.Smell.Checks.BroadMapContract (Reach v2.8.1)

Copy Markdown View Source

Detects broad map specs contradicted by strict, stable parameter access.