7 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	fd873a1916	feat: argumen type narrowing	2024-03-17 20:57:13 +09:00
Shunsuke Shibayama	c181fc4ff6	fix: dict subtyping bug	2023-06-26 10:29:20 +09:00
Shunsuke Shibayama	839133863f	feat: enhance assert casting	2023-04-16 23:32:52 +09:00
Shunsuke Shibayama	0ce0d1a073	test: update test cases	2023-03-29 21:20:28 +09:00
Shunsuke Shibayama	5876c24830	feat: isinstance narrowing	2023-03-29 11:24:53 +09:00
Shunsuke Shibayama	ccf02405d8	feat: add ==/!= narrowing	2023-03-29 01:32:29 +09:00
Shunsuke Shibayama	de1180387c	Implement assert casting	2022-10-09 00:14:50 +09:00