All issues

Search results

@RequiresDetToString cannot specify that the receiver must have deterministic toString

Status: Open.

#224 In t-rasmud/checker-framework;

· t-rasmud opened on Mar 10, 2021

Polymorphism not dispatched correctly in field assignment

Status: Open.

#222 In t-rasmud/checker-framework;

· jwaataja opened on Jan 15, 2021

Literal array creation with @PolyDet as the default type

Status: Open.

#221 In t-rasmud/checker-framework;

· mernst opened on Jan 8, 2021

Polymorphic types not resolved correctly in classes that implement Comparator.

Status: Open.

#219 In t-rasmud/checker-framework;

· t-rasmud opened on Jan 8, 2021

Incorrect unrefinement of Iterator receiver

Status: Open.

#215 In t-rasmud/checker-framework;

· t-rasmud opened on Nov 24, 2020

Confusing invalid.array.component.type error message

Status: Open.

#213 In t-rasmud/checker-framework;

· mernst opened on Nov 21, 2020

map.get(@PolyDet) should return @PolyDet, for @Det or @OrderNonDet map

Status: Open.

#212 In t-rasmud/checker-framework;

· mernst opened on Nov 21, 2020

@OrderNonDet cannot be written on a map

Status: Open.

#211 In t-rasmud/checker-framework;

· mernst opened on Nov 21, 2020

Loop variable doesn't get type refined correctly.

Status: Open.

#201 In t-rasmud/checker-framework;

· t-rasmud opened on Aug 28, 2020

Tracking when Object.toString is deterministic

Status: Open.

#198 In t-rasmud/checker-framework;

· mernst opened on Aug 27, 2020

get on Map with @NonDet key is not permitted

Status: Open.

#197 In t-rasmud/checker-framework;

· mernst opened on Aug 26, 2020

Incorrect error when using @OrderNonDet collection in String concatenation

Status: Open.

#194 In t-rasmud/checker-framework;

· jwaataja opened on Aug 26, 2020