Nilstrieb 8bfd6450c7 A few small cleanups for newtype_index ... Remove the `..` from the body, only a few invocations used it and it's inconsistent with rust syntax. Use `;` instead of `,` between consts. As the Rust syntax gods inteded.		2022-12-18 21:47:28 +01:00
..
abs_domain.rs	use no type in ProjectionElem::Field for PlaceBuilder::UpVar	2022-11-23 21:25:27 +01:00
builder.rs	Generalize the Assume intrinsic statement to a general Intrinsic statement	2022-09-06 14:18:32 +00:00
mod.rs	A few small cleanups for newtype_index	2022-12-18 21:47:28 +01:00