"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.
Edited by Ralf Jung