Reach.Check.Changed.AccessStrictness (Reach v2.8.1)

Copy Markdown View Source

Detects changed hunks that replace strict map contracts with lenient reads.

Summary

Functions

analyze(project, base, changed_ranges, opts \\ [])