tree c2e4eebf789ecbb9f7112366de1de1a6b3a19f6a
parent 737417db4139c85da5b89ff3f1f6768042870022
author Thomas Lively <tlively@google.com> 1774314101 -0700
committer GitHub <noreply@github.com> 1774314101 +0000
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsFcBAABCAAQBQJpweJ1CRC1aQ7uu5UhlAAA/g4QAE2oi+yXQXttK2MkWZpL3mv/
 YrJWWIWtV4G59VkEFUmL9k6S/WYsqZA7l8tzBig2OmXaWGzMltlvVfuUsoumbbRP
 6xYWouowrdq8BNzfGn9qSX+3VE4mne5udZGuwYghyR0aQBnnLKHaMR/59JLA4RYk
 Mmkj//RysyNHBRSrCYhYkVR0GCgroLwTUuqUxSrI1Nzi9JDIg+Lr5E+HF8RvmHR5
 AJpKL10SVhHGY60IJRYFVKhUolcL1qo4nB6dgbdVkRr/ho2NeALlNituCXaUYZcc
 /i+1kIWTgTQZiaPHF8aBnV6ne6q1uTIMwnfjZ3yTVQXI2dJCesctYLdq0tmtjBgR
 qV7p9UsrgLdlmuiq64Nt03nDWz62sh97EbBcAVB1hHhKj0veIqZam1DLfhHisBWG
 yA2C1XjPGF6YnPgEzR9n6B2DoDz3o7FIy8k5yVSX0LUkHd9+TtGCc1x/ZF6/6IqI
 RLYYOo7NCnvimjF2qTSx+uUMY9k1LjE3oqmaNSfa+QgQvxIdnLNuMjlpdFeL/ssw
 ttGAQkPHQpDnmLEXZyTYBqAf53xcOTw9igLdVcorP5Ux8enC9F9nCfIEkd46G9cP
 xyAYb326RvC8csNSaGmxh1TuY6GPsLB6AtUuPpG9YugKmXAiu31ZquPsNxK8Bcfg
 ZDtmfCqGTEqxFw0kAZWE
 =3eG3
 -----END PGP SIGNATURE-----
 

More unsubtyping for cont.bind (#8506)

We were missing a few type constraints for cont.bind. Add them, and also
add more thorough tests for all the stack switching instructions,
including the cases where the continuations are null. As a drive-by to
get these tests working, fix the parsing of resume and resume_throw* to
set the proper type arity when the input is null.