div72 9d02ca51d1 checker: relax naming requirements for translated code (#10619)		2021-06-30 14:47:13 +03:00
..
tests	checker: check optional interface type mismatch (#10617)	2021-06-30 08:54:28 +03:00
check_types.v	checker: check optional interface type mismatch (#10617)	2021-06-30 08:54:28 +03:00
checker.v	checker: relax naming requirements for translated code (#10619)	2021-06-30 14:47:13 +03:00