From 4f54bb66b807ee4b22f6be28cfbb71d21b901b10 Mon Sep 17 00:00:00 2001 From: Chris Smowton Date: Fri, 13 May 2022 18:20:24 +0100 Subject: [PATCH] Accept consistency check failure The Java extractor assigns a type with unbound type variables to the result of ImmutableSortedMap.of calls. --- .../generated/collect/CONSISTENCY/typeParametersInScope.expected | 1 + 1 file changed, 1 insertion(+) create mode 100644 java/ql/test/library-tests/frameworks/guava/generated/collect/CONSISTENCY/typeParametersInScope.expected diff --git a/java/ql/test/library-tests/frameworks/guava/generated/collect/CONSISTENCY/typeParametersInScope.expected b/java/ql/test/library-tests/frameworks/guava/generated/collect/CONSISTENCY/typeParametersInScope.expected new file mode 100644 index 00000000000..fafa8a2d08e --- /dev/null +++ b/java/ql/test/library-tests/frameworks/guava/generated/collect/CONSISTENCY/typeParametersInScope.expected @@ -0,0 +1 @@ +| Type Test uses out-of-scope type variable K |