diff --git a/testcases/automatic/unify-types-1.rain.test b/testcases/automatic/unify-types-1.rain.test index ed26f56..3ac190e 100644 --- a/testcases/automatic/unify-types-1.rain.test +++ b/testcases/automatic/unify-types-1.rain.test @@ -92,4 +92,17 @@ cb ! b; ?cb ? true; %FAIL Invalid channel comm -- bad recv #3 cb ? x; + +%PASS Valid poison +poison !cb; +poison !cx; +poison !cxi8; +poison ?cb; +poison ?cx; +poison ?cxi8; +%FAIL Poison non-channel +poison b; +%FAIL Poison indeterminate channel-end +poison cb; + %