List view

Misleading cast.unsafe error

Status: Open.

#2731 In typetools/checker-framework;

· Kakarot-SSJ4 opened on Aug 19, 2019

Illegal reflective access warning (Using Java 11)

Java 11

Status: Open.

#2687 In typetools/checker-framework;

· smillst opened on Aug 5, 2019

Misuse of @LowerBoundBottom

False Positive (false warning or imprecision)

Index

Status: Open.

#2637 In typetools/checker-framework;

· Kakarot-SSJ4 opened on Jul 19, 2019

Refine the types of literals

Status: Open.

#2618 In typetools/checker-framework;

· mernst opened on Jul 10, 2019

@FormatFor annotation

Status: Open.

#2584 In typetools/checker-framework;

· mernst opened on Jun 28, 2019

Index Checker unable to infer length properties of CharSequence length() method

False Positive (false warning or imprecision)

Index

Status: Open.

#2561 In typetools/checker-framework;

· gokaco opened on Jun 19, 2019

IndexChecker false warning in length - index situations

False Positive (false warning or imprecision)

Index

Status: Open.

#2524 In typetools/checker-framework;

· Maxi17 opened on May 31, 2019

More information in error messages relating to invariant type arguments

enhancement

Status: Open.

#2533 In typetools/checker-framework;

· mernst opened on Jun 5, 2019

Anonymous classes and onlyDefs

enhancement

Status: Open.

#2227 In typetools/checker-framework;

· wmdietl opened on Dec 8, 2018

Spurious 'bound.type.incompatible' errors when using method type parameters with self-referential contraints

Status: Open.

#2174 In typetools/checker-framework;

· patrickmeiring opened on Sep 28, 2018

Incorrect default for inner looping variable in a foreach loop.

Dataflow

Status: Open.

#2172 In typetools/checker-framework;

· t-rasmud opened on Sep 26, 2018

Units Checker: custom qualifiers cannot be nested classes

Status: Open.

#2090 In typetools/checker-framework;

· wmdietl opened on Aug 4, 2018

Custom Units Checker qualifiers need to be supertypes of @UnitsBottom

Status: Open.

#2087 In typetools/checker-framework;

· wmdietl opened on Aug 1, 2018

GUIEffect: Issue with transitive @UI inheritance

Status: Open.

#2049 In typetools/checker-framework;

· lazaroclapp opened on Jun 21, 2018

Implement @ReturnsReceiver and make pre-/post-conditions (@EnsuresNonNull / @RequiresNonNull) understand it

enhancement

Status: Open.

#2465 In typetools/checker-framework;

· msridhar opened on Apr 26, 2019

Can't define Nullness for generic class argument

False Positive (false warning or imprecision)

Status: Open.

#2448 In typetools/checker-framework;

· olegshtch opened on Apr 22, 2019

Permit assignment to @MonotonicNonNull in constructor

False Positive (false warning or imprecision)

Status: Open.

#2215 In typetools/checker-framework;

· mernst opened on Nov 26, 2018

Permit return type of @MonotonicNonNull

Status: Open.

#2216 In typetools/checker-framework;

· mernst opened on Nov 26, 2018

Contracts.Precondition.Not.Satisfied error for <code>@RequiresNonNull("#1")</code> but not for <code>@NonNull</code> on formal parameter

Status: Open.

#2408 In typetools/checker-framework;

· aagarwal1012 opened on Apr 4, 2019

Make <code>Map.keySet()</code> handle multiple argments to <code>@KeyFor</code>

enhancement

False Positive (false warning or imprecision)

good first issueA beginner-friendly place to start contributing to the Checker FrameworkA beginner-friendly place to start contributing to the Checker Framework

Status: Open.

#2358 In typetools/checker-framework;

· mernst opened on Mar 13, 2019

@ThrowsException annotation for methods that always throw an exception

Dataflow

enhancement

good first issueA beginner-friendly place to start contributing to the Checker FrameworkA beginner-friendly place to start contributing to the Checker Framework

Status: Open.

#2076 In typetools/checker-framework;

· SwingGuy1024 opened on Jul 21, 2018

Index Checker does not recognize swapping index and offset

enhancement

False Positive (false warning or imprecision)

Index

Status: Open.

#1975 In typetools/checker-framework;

· panacekcz opened on May 10, 2018

Java collection methods that accept Object should consider type hierarchy

enhancement

Status: Open.

#2000 In typetools/checker-framework;

· wmdietl opened on May 28, 2018

The syntax of @Covariant is ugly

enhancement

Status: Open.

#1969 In typetools/checker-framework;

· mernst opened on May 1, 2018

Enforce correct use of @Covariant

Status: Open.

#1971 In typetools/checker-framework;

· mernst opened on May 1, 2018