hiifong/pmd
1
0
Fork 0
forked from phoedos/pmd
Code Pull Requests Activity

Add test case for #4902

Browse Source
This commit is contained in:
Clément Fournier
2024-04-05 16:22:26 +02:00
parent 89f7aecab8
commit bfe4013883
1 changed files with 36 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

39
pmd-java/src/test/kotlin/net/sourceforge/pmd/lang/java/types/internal/infer/TypeInferenceTest.kt
View File

@ -7,13 +7,13 @@
package net.sourceforge.pmd.lang.java.types.internal.infer
import io.kotest.matchers.shouldBe
import net.sourceforge.pmd.lang.java.ast.*
import net.sourceforge.pmd.lang.java.symbols.JConstructorSymbol
import net.sourceforge.pmd.lang.java.types.*
import net.sourceforge.pmd.lang.test.ast.NodeSpec
import net.sourceforge.pmd.lang.test.ast.shouldBe
import net.sourceforge.pmd.lang.test.ast.shouldBeA
import net.sourceforge.pmd.lang.test.ast.shouldMatchN
import net.sourceforge.pmd.lang.java.ast.*
import net.sourceforge.pmd.lang.java.symbols.JConstructorSymbol
import net.sourceforge.pmd.lang.java.types.*
import java.util.*
/**
@ -384,4 +384,37 @@ class Foo {
}
parserTest("#4902 bad intersection") {
val (acu, spy) = parser.parseWithTypeInferenceSpy("""
import java.util.Arrays;
import java.util.List;
import java.util.stream.Collectors;
import java.util.stream.Stream;
public class BadIntersection {
interface Animal { }
enum Bird implements Animal { PARROT, CHICKEN }
enum Fish implements Animal { GOLDFISH, MACKEREL }
private static List<Animal> combineAnimals() {
return Stream.of(
Bird.values(),
Fish.values()
)
.flatMap(Arrays::stream)
.collect(Collectors.toList());
}
}
""".trimIndent())
val (_, t_Animal) = acu.declaredTypeSignatures()
spy.shouldBeOk {
acu.firstMethodCall() shouldHaveType java.util.List::class[t_Animal]
}
}
})