Introduce mir::Unevaluated Previously the distinction between unevaluated constants in the type-system and in mir was not explicit and a little confusing. Probably better to introduce its own type for that. r? `@lcnr` |
||
|---|---|---|
| .. | ||
| errors | ||
| infer | ||
| traits | ||
| lib.rs | ||