3 commits

Author	SHA1	Message	Date
Daniel Däschle	c5dc1a33b6	all: remove it smartcast and replace with original variable name (#5764)	2020-07-09 17:14:14 +02:00
Daniel Däschle	5ea17ad2d4	all: if smartcast part 2 (#5754)	2020-07-08 15:46:58 +02:00
Nick Treleaven	9e7ba5f138	doc: update sum type docs (#5702)	2020-07-06 18:09:38 +02:00