This repository has been archived by the owner on Jul 3, 2024. It is now read-only.

Add implicit annotation for main that argv is an input parameter #54

Open

mgehre opened this issue Aug 28, 2019 · 1 comment

Labels

false-positive flow-sensitive

Owner

mgehre commented Aug 28, 2019

See https://github.com/hsutter/Lifetime/issues/32

mgehre added false-positive flow-sensitive labels

Xazax-hun closed this as completed in

a05d7c2

mgehre reopened this

Collaborator

Xazax-hun commented Dec 13, 2019

Oh wow. Sometimes GitHubs heuristics are just plain wrong.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.