Query Error: "This code should be unreachable" when doing textSearch and grouping

[epoz]

Performing this query:

PREFIX textSearch: <https://qlever.cs.uni-freiburg.de/textSearch/>

SELECT ?p (count(distinct ?s) as ?cnt) WHERE {
    ?s ?p ?e
    SERVICE textSearch: {      
      ?t textSearch:contains [ textSearch:word "olympic" ] .
      ?t textSearch:contains [ textSearch:entity ?e ] .
	}
}  GROUP BY ?p ORDER BY ?cnt

Gives an error message:

This code should be unreachable. In file "/local/data-ssd/qlever/qlever-indices/olympics/qlever/src/engine/CheckUsePatternTrick.cpp " at line 74

We would like to use the textSearch service for queries and show results facets on various predicates, but this query fails. Are we doing something wrong, or is this a bug?

[hannahbast]

@epoz If you put the part before the SERVICE in { ... }, it works: https://qlever.dev/olympics/mAby25 . So yes, it's a bug, but with an easy workaround.

[epoz]

Super!
Thanks for the lightning-fast reply, and work-around.

Fix noted, we can use this and move on with our code.