Per tiif's commen t here, this function should be refactored as a judgment perhaps, or else move elsewhere: _Originally posted by @tiif in https://github.com/rust-lang/a-mir-formality/pull/195#discussion_r2239851687_ <!-- TRIAGEBOT_START --> <!-- TRIAGEBOT_ASSIGN_START --> This issue has been assigned to @tiif via [this comment](https://github.com/rust-lang/a-mir-formality/issues/198#issuecomment-3144563422). <!-- TRIAGEBOT_ASSIGN_END --> <!-- TRIAGEBOT_END -->