edcbcc768a
Clean up `check_consts` and misc fixes
1. Remove most of the logic around erroring with trait methods. I have kept the part resolving it to a concrete impl, as that is used for const stability checks.
2. Turning on `effects` causes ICE with generic args, due to `~const Tr` when `Tr` is not `#[const_trait]` tripping up expectation in code that handles generic args, more specifically here:
|
||
|---|---|---|
| .. | ||
| check_consts | ||
| mod.rs | ||
| promote_consts.rs | ||
| validate.rs | ||