Skip to content

No labels!

There aren’t any labels for this repository quite yet.

17 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
badcase
badcase
The defect of the model
1
bug
bug
Something isn't working
documentation
documentation
Improvements or additions to documentation
1
duplicate
duplicate
This issue or pull request already exists
enhancement
enhancement
New feature or request
false-negatives
false-negatives
warnings should be diagnosed but not
false-positives
false-positives
warnings that are actually not warnings
4
features
features
new features working in progress
2
good first issue
good first issue
Good for newcomers
help wanted
help wanted
Extra attention is needed
1
invalid
invalid
This doesn't seem right
lifetime-category
lifetime-category
Category related issues
3
lifetime-contracts
lifetime-contracts
contracts inference
2
lifetime-null
lifetime-null
null pointer inference and check
1
lifetime-pset
lifetime-pset
pset building
1
question
question
Further information is requested
wontfix
wontfix
This will not be worked on
1