Open
Description
Run ContestEstimator with the following options:
timeLimit = 120
methodFilter = "com.google.common.collect.MinMaxPriorityQueue.*"
projectFilter = listOf("guava")
NOTE that this problems does not reproduce each time. But sometimes...
Compilation errors: C:\UtBotJava\UTBotJava\utbot-junit-contest\build\output\test_candidates\guava\com\google\common\collect\MinMaxPriorityQueueTest.java:5118: error: no suitable method found for create(ServiceDefinitionImpl)
MinMaxPriorityQueue.create(serviceDefinitionImpl);
^
method MinMaxPriorityQueue.<E#1>create() is not applicable
(cannot infer type-variable(s) E#1
(actual and formal argument lists differ in length))
method MinMaxPriorityQueue.<E#2>create(Iterable<? extends E#2>) is not applicable
(inference variable E#2 has incompatible bounds
upper bounds: Comparable<E#2>
lower bounds: SDDocument)
where E#1,E#2 are type-variables:
E#1 extends Comparable<E#1> declared in method <E#1>create()
E#2 extends Comparable<E#2> declared in method <E#2>create(Iterable<? extends E#2>)
After quick analysis, it seems that the problem is not in compilation itself, but in the types produced by symbolic machine.