Search results

Upstreaming: formatting of type variables

enhancementNew feature or requestNew feature or request

Status: Open.

#49 In jspecify/checker-framework;

· wmdietl opened on Dec 14, 2023

Upstreaming: Changes to erasure/substitution in AnnotatedTypeMirror/AsSuperVisitor/SupertypeFinder

Status: Open.

#48 In jspecify/checker-framework;

· wmdietl opened on Dec 14, 2023

Upstreaming: annotating captured type variables

Status: Open.

#47 In jspecify/checker-framework;

· wmdietl opened on Dec 14, 2023

Upstreaming: Avoid using WildcardType.isUnbound() and friends

Status: Open.

#46 In jspecify/checker-framework;

· wmdietl opened on Dec 14, 2023

Upstreaming: AnnotationFileElementTypes#getDeclAnnotations change

Status: Open.

#45 In jspecify/checker-framework;

· wmdietl opened on Dec 14, 2023

Upstreaming: BaseTypeValidator change

Status: Open.

#43 In jspecify/checker-framework;

· wmdietl opened on Dec 14, 2023

Rebase onto eisop

Status: Open.

#29 In jspecify/checker-framework;

· cpovirk opened on Sep 12, 2022

Upstreaming: Ignoring annotations on wildcards and type parameters themselves

Status: Open.

#13 In jspecify/checker-framework;

· cpovirk opened on Jan 6, 2021

Upstreaming: Additional information in error messages

enhancementNew feature or requestNew feature or request

Status: Open.

#12 In jspecify/checker-framework;

· cpovirk opened on Dec 30, 2020

Upstreaming: Not inheriting annotations, somehow avoiding stub-file recursion

enhancementNew feature or requestNew feature or request

Status: Open.

#11 In jspecify/checker-framework;

· cpovirk opened on Nov 23, 2020

Upstreaming: Eliminate parameter contravariance

Status: Open.

#10 In jspecify/checker-framework;

· cpovirk opened on Nov 20, 2020

Upstreaming: Customize the suppress-warnings prefix that is included in error messages

enhancementNew feature or requestNew feature or request

Status: Open.

#9 In jspecify/checker-framework;

· cpovirk opened on Nov 11, 2020