6 Commits

Author	SHA1	Message	Date
Camille GILLOT	9aa4f6acb2	MIR-Validate StorageLive.	2023-02-25 16:27:10 +00:00
b-naber	6e1d228285	only require sub type relation on field projection types	2023-02-12 23:18:15 +01:00
Lukas Markeffsky	e2a1a2ab79	yet another ui test	2023-02-05 22:51:37 +01:00
Lukas Markeffsky	9d110847ab	ReErased regions are local	2023-02-05 15:29:07 +01:00
Tomasz Miąsko	e489971902	Fix def-use dominance check ... A definition does not dominate a use in the same statement. For example in MIR generated for compound assignment x += a (when overflow checks are disabled).	2023-01-27 00:54:31 +01:00
Albert Larsan	cf2dff2b1e	Move /src/test to /tests	2023-01-11 09:32:08 +00:00