Gary Guo e3f2edc75b Rename Abort terminator to Terminate ... Unify terminology used in unwind action and terminator, and reflect the fact that a nounwind panic is triggered instead of an immediate abort is triggered for this terminator.		2023-04-06 09:34:16 +01: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	Rename Abort terminator to Terminate	2023-04-06 09:34:16 +01:00
mod.rs	Use &IndexSlice instead of &IndexVec where possible	2023-04-02 17:35:37 -07:00