jimn
12/08/2019, 12:44 PMraulraja
12/08/2019, 12:58 PMNothing
is a bottom type that is there for inference. It’s a subtype of all types so it should be valid if your program is properly typed. Do you have a small example that shows why you have to cast it?jimn
12/08/2019, 1:04 PMjimn
12/08/2019, 1:06 PMjimn
12/08/2019, 1:07 PMjimn
12/08/2019, 1:09 PMjimn
12/08/2019, 1:16 PMjimn
12/08/2019, 3:05 PMraulraja
12/08/2019, 4:43 PMraulraja
12/08/2019, 4:44 PMraulraja
12/08/2019, 4:45 PMraulraja
12/08/2019, 4:47 PMraulraja
12/08/2019, 4:49 PMnoinline
in order to being able to capture the surrounding contextjimn
12/08/2019, 6:36 PMjimn
12/08/2019, 7:01 PMjimn
12/08/2019, 8:38 PMraulraja
12/08/2019, 8:41 PMraulraja
12/08/2019, 8:42 PMraulraja
12/08/2019, 8:42 PMraulraja
12/08/2019, 8:43 PMraulraja
12/08/2019, 8:43 PMraulraja
12/08/2019, 8:44 PMjimn
12/09/2019, 3:39 AMjimn
12/09/2019, 3:41 AM