Description
Initial calls to methods with possibly null results pass analysis, but subsequent assertions cause false positives after mutating methods are called
Playground Link
https://mago.carthage.software/1.46.0/en/playground/#019fd782-21a5-a17d-2e83-a752bce652be
Reproduction
No response
Environment
- Mago 1.46.0
- MacOS / Playground
Description
Initial calls to methods with possibly null results pass analysis, but subsequent assertions cause false positives after mutating methods are called
Playground Link
https://mago.carthage.software/1.46.0/en/playground/#019fd782-21a5-a17d-2e83-a752bce652be
Reproduction
No response
Environment