bors eb9e5e711d Auto merge of #105880 - Nilstrieb:make-newtypes-less-not-rust, r=oli-obk ... Improve syntax of `newtype_index` This makes it more like proper Rust and also makes the implementation a lot simpler. Mostly just turns weird flags in the body into proper attributes. It should probably also be converted to an attribute macro instead of function-like, but that can be done in a future PR.		2022-12-20 07:27:01 +00:00
..
abs_domain.rs	Revert "Auto merge of #103880 - b-naber:field-ty-mir, r=lcnr"	2022-12-19 15:31:20 +00: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