Skip to content

Issues: typetools/checker-framework

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

374 Open 1,591 Closed
374 Open 1,591 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Checker Framework always crashes on all Windows boxes in my team
#6902 opened Nov 25, 2024 by obfischer
1
The case which is leading to "error: AsSuperVisitor: type is not an erased subtype of supertype." crash
#6891 opened Nov 15, 2024 by AndreyAkifev
@smillst
failing to detect invalid assignment when using ? wildcard
#6890 opened Nov 12, 2024 by theosotr
@smillst
type.argument.inference.crashed for generic exception parameters since 3.43.0
#6887 opened Nov 11, 2024 by veikokaap
@smillst
Non null-safe assignment when dealing with wildcards False Negative (missing warning or unsoundness)
#6881 opened Oct 30, 2024 by theosotr
@smillst
Possible Null Pointer Dereference in MustCallConsistencyAnalyzer.java
#6878 opened Oct 29, 2024 by ZuhairORZaki
type inference crashed: AsSuperVisitor: unexpected combination crash
#6874 opened Oct 25, 2024 by theosotr
@smillst
New UI for the website for better readability
#6873 opened Oct 25, 2024 by Neelanchal17
8
NPE: Cannot invoke "javax.lang.model.element.AnnotationMirror.getAnnotationType()" because "annotation" is null
#6872 opened Oct 25, 2024 by theosotr
CCE: AnnotatedWildcardType cannot be cast to class AnnotatedTypeMirror$AnnotatedDeclaredType crash
#6871 opened Oct 23, 2024 by theosotr
@smillst
failed to report type argument that does not satisfy upper bound False Negative (missing warning or unsoundness)
#6868 opened Oct 18, 2024 by theosotr
@smillst
false negative when overriding method False Negative (missing warning or unsoundness)
#6864 opened Oct 13, 2024 by theosotr
false negative when using ternary operator False Negative (missing warning or unsoundness)
#6849 opened Oct 8, 2024 by theosotr
@smillst
False positive in the Optional Checker False Positive (false warning or imprecision)
#6848 opened Oct 8, 2024 by jyoo980
Can you produce a 'bom' pom file? enhancement
#6836 opened Oct 3, 2024 by hazendaz
@smillst
2
false negative when calling two polymorphic functions with omitted type arguments False Negative (missing warning or unsoundness)
#6832 opened Oct 2, 2024 by theosotr
Unsoundness in MustCallChecker (and RLC) for functional interfaces ResourceLeakChecker
#6823 opened Sep 26, 2024 by Calvin-L
8
type parameter bounded by SAM might lead to false negative False Negative (missing warning or unsoundness)
#6816 opened Sep 24, 2024 by theosotr
@smillst
1
false negative when encountering recursive bound False Negative (missing warning or unsoundness)
#6815 opened Sep 24, 2024 by theosotr
@smillst
1
No easy way to load stubs as Maven dependencies
#6813 opened Sep 21, 2024 by obfischer
4
Improved interaction between @This and @MustCall ResourceLeakChecker
#6800 opened Sep 13, 2024 by Calvin-L
1
WPI for nullness fails to annotate a multi-field declaration
#6794 opened Sep 10, 2024 by msridhar
On upgrade to 3.47.0 supplier seems to get inferred as nullable
#6789 opened Sep 5, 2024 by agentgt
@smillst
3
Unexpected type.arguments.not.inferred error
#6768 opened Aug 26, 2024 by msridhar
@smillst
3
BugInCF type is not an erased subtype of supertype crash
#6762 opened Aug 13, 2024 by nickbreen
@smillst
1
ProTip! Exclude everything labeled bug with -label:bug.