2 Commits

Author	SHA1	Message	Date
Ralf Jung	1ad9709e00	get rid of ad-hoc inhabitedness test	2017-09-22 13:24:55 +02:00
Oliver Schneider	b5f824fd9c	fix ICE when transmuting inhabited types to uninhabited	2017-01-12 09:59:00 +01:00