9 commits

Author	SHA1	Message	Date
Niko Matsakis	49cc8abe43	introduce query_mut which you must use to get set methods	2018-11-01 04:53:56 -04:00
Niko Matsakis	13ae45d441	remove input policies	2018-10-30 12:59:33 -04:00
Niko Matsakis	042f89e7f8	add input policies to permit a wider range of inputs	2018-10-26 19:34:11 -04:00
Niko Matsakis	c4d93f9733	rename test to give it a unique prefix	2018-10-25 05:47:45 -04:00
Niko Matsakis	a0c983403d	add some tests about setting with same value	2018-10-11 05:49:05 -04:00
Niko Matsakis	5e381f314b	add test where we become constant but do not change value	2018-10-11 04:56:34 -04:00
Niko Matsakis	6778898a34	track when a value *became* constant ... Turns out we need this, as demonstrated by the included test =)	2018-10-11 04:53:49 -04:00
Niko Matsakis	efa8b0f307	add some simple tests using is_constant	2018-10-11 04:53:24 -04:00
Niko Matsakis	15faf43071	add some tests for constants (check for invalidation)	2018-10-09 20:49:26 -04:00