Auto merge of #109557 - fee1-dead-contrib:mv-const-traits, r=oli-obk

Move const trait bounds checks to MIR constck

Fixes #109543. When checking paths in HIR typeck, we don't want to check for const predicates since all we want might just be a function pointer. Therefore we move this to MIR constck and check that bounds are met during MIR constck.

r? `@oli-obk`

Author: bors