You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
Run ContestEstimator with the following options:
NOTE that this problems does not reproduce each time. But sometimes...
After quick analysis, it seems that the problem is not in compilation itself, but in the types produced by symbolic machine.
The text was updated successfully, but these errors were encountered: