5 Commits

Author	SHA1	Message	Date
Gary Guo	2a9d710d99	Bless tests	2023-04-06 09:34:17 +01:00
Michael Goulet	786fc90855	Tweak debug outputs to make debugging new solver easier	2023-04-05 03:18:29 +00:00
Giacomo Pasini	f605e90677	Add needs-unwind	2023-03-03 16:33:12 +01:00
Giacomo Pasini	b3a47d9b6b	Desugars drop and replace at MIR build ... This commit desugars the drop and replace deriving from an assignment at MIR build, avoiding the construction of the DropAndReplace terminator (which will be removed in a followign PR) In order to retain the same error messages for replaces a new DesugaringKind::Replace variant is introduced.	2023-03-03 16:33:11 +01:00
Albert Larsan	cf2dff2b1e	Move /src/test to /tests	2023-01-11 09:32:08 +00:00