23 commits

Author	SHA1	Message	Date
Jonas Schievink	4d6d7aec50	Avoid all unchecked indexing in match checking	2020-06-17 21:41:07 +02:00
Jonas Schievink	d8af7983b1	Use ra_fixture and reformat tests	2020-06-16 22:54:41 +02:00
Jonas Schievink	9ecbadcedb	Fix index-out-of-bounds panic in match checking	2020-06-16 22:45:34 +02:00
Jonas Schievink	4ebafb9005	_match.rs: improve comment formatting	2020-06-14 15:56:02 +02:00
Roland Ruckerbauer	6e36ad3d91	Move false negative expr_diverges_missing_arm() to working tests	2020-05-19 21:18:43 +02:00
Mikail Bagishov	7c94fa7d01	Fix usefulness check for never type	2020-05-06 17:59:27 +03:00
Josh Mcguigan	7adb681b1f	missing match arm diagnostic support enum record type	2020-04-18 05:54:56 -07:00
Josh Mcguigan	360bdf653b	fix false positive for enum with no variants	2020-04-16 05:37:49 -07:00
Josh Mcguigan	ee822d19b7	handle tuple patterns with ellipsis	2020-04-13 08:19:19 -07:00
Josh Mcguigan	bb2e5308b7	missing match arm add test cases to demonstrate enum tuple struct with ellipsis behavior	2020-04-11 21:20:52 -07:00
Josh Mcguigan	a59179ac2d	missing match arms add test cases to demonstrate behavior of tuple with pattern	2020-04-11 20:50:54 -07:00
Josh Mcguigan	aec20e5094	missing match arm add test for partially diverging type	2020-04-11 07:13:47 -07:00
Josh Mcguigan	26e5bb0a4e	missing match arms add tests for match expression diverging	2020-04-11 07:07:47 -07:00
Josh Mcguigan	d1338354ca	fix match arm false positive	2020-04-10 20:14:53 -07:00
Josh Mcguigan	36c110ee09	match checking add additional test for match checking tuple with missing pattern	2020-04-08 10:47:05 -07:00
Josh Mcguigan	941615748d	fix panic in match checking when tuple enum missing pattern	2020-04-08 10:47:05 -07:00
Josh Mcguigan	a208de15b7	PR feedback implementation	2020-04-07 05:12:08 -07:00
Josh Mcguigan	da6752d5f9	missing match arms diagnostic change source to match expression	2020-04-07 05:12:08 -07:00
Josh Mcguigan	5fe608fb31	handle match auto-deref	2020-04-07 05:12:08 -07:00
Josh Mcguigan	5b4316377b	improving documentation	2020-04-07 05:12:08 -07:00
Josh Mcguigan	43dfd89493	handle non matching enum pattern types	2020-04-07 05:12:08 -07:00
Josh Mcguigan	b87b7a088f	remove panics	2020-04-07 05:12:08 -07:00
Josh Mcguigan	8c378af721	missing match arms diagnostic	2020-04-07 05:12:08 -07:00