Detects changed hunks that replace strict map contracts with lenient reads.
Summary
Functions
@spec analyze(Reach.Project.t(), String.t(), map(), keyword()) :: [ Reach.Check.Changed.StrictnessDowngrade.t() ]
Detects changed hunks that replace strict map contracts with lenient reads.
@spec analyze(Reach.Project.t(), String.t(), map(), keyword()) :: [ Reach.Check.Changed.StrictnessDowngrade.t() ]