3 commits

Author	SHA1	Message	Date
Ralf Jung	5b7786cd1d	make non-PartialEq-typed consts as patterns a hard error	2024-02-25 11:30:10 +01:00
Ralf Jung	a1d6fc4340	rename lint; add tracking issue	2023-09-25 19:05:10 +02:00
Ralf Jung	c5fccb98ea	work towards rejecting consts in patterns that do not implement PartialEq	2023-09-24 16:36:26 +02:00