Revert "Add some extra information to opaque type cycle errors"#113400

oli-obk wants to merge 1 commit intorust-lang:masterrust-lang/rust:masterfrom

oli-obk:eval_obligation_queryoli-obk/rust:eval_obligation_queryCopy head branch name to clipboard