"Hint Mode" missing
The orc11 library declares several typeclasses and none of them has a Hint Mode
. That's a problem, every class should have a Hint Mode
as otherwise TC search tends to go into loops.
This is probably the cause of the CI failure in https://gitlab.mpi-sws.org/iris/lambda-rust/-/pipelines/33601.