Implement fallback for effect param by fee1-dead · Pull Request #115727 · rust-lang/rust (original) (raw)

Why are effects being represented with a separate vid?

There's a weird dichotomy happening here where effects are kinda treated like const and kinda like their own kind, and it's not exactly clear why.

Shouldn't we be able to store whether a const vid comes from an effect parameter in the const vid table so it can participate in fallback later?