bors 9a963e3bad Auto merge of #102056 - b-naber:unevaluated, r=lcnr ...

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`

2022-09-23 13:39:11 +00:00

..

src

Auto merge of #102056 - b-naber:unevaluated, r=lcnr

2022-09-23 13:39:11 +00:00

Cargo.toml

Initial fixes on top of type interner commit

2022-05-28 11:38:22 -07:00