3 Commits

Author	SHA1	Message	Date
varkor	d1c2815d6a	Use `diverges` instead of `!`-type	2020-10-22 23:12:46 +01:00
varkor	d415fae8b7	Add tests for uninhabited types	2020-10-21 22:52:41 +01:00
varkor	5a440f1bc2	Fix control flow check for breaking with diverging values	2020-10-21 21:46:03 +01:00