8 Commits

Author	SHA1	Message	Date
Ralf Jung	744dfd8847	explain why interning is not as trivial as it might seem	2020-10-26 08:56:54 +01:00
Ralf Jung	18fd58e9d1	interning cleanup: we no longer need to distinguish Const and ConstInner; we no longer need the ignore_interior_mut_in_const hack	2020-10-26 08:56:54 +01:00
Ralf Jung	9b501edf08	move &mut-in-const check from interning to validation	2020-10-26 08:56:54 +01:00
Ralf Jung	0e014be359	move UnsafeCell-in-const check from interning to validation	2020-10-26 08:56:54 +01:00
Ralf Jung	fcaf2338da	Miri engine interning: improve comments, and entirely skip ZST	2020-10-21 09:47:15 +02:00
Wesley Wiser	1d07d696d2	Optimize const value interning for ZST types ... Interning can skip any inhabited ZST type in general.	2020-10-17 16:07:00 -04:00
LeSeulArtichaut	3e14b684dd	Change ty.kind to a method	2020-09-04 17:47:51 +02:00
mark	9e5f7d5631	mv compiler to compiler/	2020-08-30 18:45:07 +03:00