Alexander Medvednikov b2059c481a checker: fix an incorrect name test		2020-08-16 19:24:00 +02:00
..
tests	checker: fix an incorrect name test	2020-08-16 19:24:00 +02:00
check_types.v	tests: fix a match test	2020-08-11 16:26:52 +02:00
checker.v	checker: forbid aliasing an alias (#6118)	2020-08-16 04:53:16 +02:00