Skip to content

Commit fc3a55d

Browse files
authored
Enable caching
1 parent 6bf93a9 commit fc3a55d

File tree

2 files changed

+1
-5
lines changed

2 files changed

+1
-5
lines changed

checker/src/main/java/org/checkerframework/checker/initialization/InitializationAnnotatedTypeFactory.java

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -800,10 +800,8 @@ public Void visitNewClass(NewClassTree tree, AnnotatedTypeMirror p) {
800800
if (!TreeUtils.isStandaloneExpression(a)) {
801801
continue;
802802
}
803-
boolean oldShouldCache = shouldCache;
804-
shouldCache = false;
803+
805804
AnnotatedTypeMirror t = getAnnotatedType(a);
806-
shouldCache = oldShouldCache;
807805
allInitialized &= (isInitialized(t) || isFbcBottom(t));
808806
}
809807
if (!allInitialized) {

checker/tests/nullness/Issue6623.java

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -4,13 +4,11 @@
44
public class Issue6623 {
55

66
public List<TargetOuter> getUserData(List<SrcOuter> input) {
7-
// Fixing issue #6623 will eliminate this warning.
87
return input.stream()
98
.map(
109
c ->
1110
new TargetOuter(
1211
c.data().stream()
13-
// :: warning: (slow.typechecking)
1412
.map(
1513
inner ->
1614
new TargetInner(

0 commit comments

Comments
 (0)