Closed sonalmahajan15 closed 3 months ago
All modified and coverable lines are covered by tests :white_check_mark:
Project coverage is 87.60%. Comparing base (
4f33d8c
) to head (0204bd5
). Report is 1 commits behind head on main.
:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.
[!NOTE]
✅ NilAway errors reported on standard libraries are identical.3271 errors on base branch (main, 4f33d8c) 3271 errors on test branch (b2560db)
This PR refines the handling of
*types.Pointer
inTypeAsDeepType
to only consider a pointer type deep if its underlying elements are of a deep type. The implication of always considering a pointer deep was that for type likevar x *int; foo(x)
, unnecessary deep triggers were being created. The change in this PR reduces the creation of these redundant triggers.