Skip to content
This repository has been archived by the owner on Aug 1, 2024. It is now read-only.

pSub/reproduce-checker-framework-issue-6664

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

4 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Reproduce checker-framework issue #6664

This repository contains small example that reproduces issue #6664 of the checker-framework.

With checker-framework 4.43 and 4.44 the compilation with the checker-frameworks crashes with the error message

Error in AnnotatedTypeMirror.fromExpression(RegexAnnotatedTypeFactory, either.map(Arrays::asList)): Enclosing type not found: type: Object supertype: Either<A extends Object, B extends Object>

version 4.42 compiles the code without problems.

This issue is fixed with typetools/checker-framework#6692.

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages