I do that (but define it as an extension of Unit w...
# intellijn
natpryce
11/28/2018, 3:30 PMI do that (but define it as an extension of Unit which is the only case where this matters I think) But it would be nice to use a language feature
h
hudsonb
11/28/2018, 3:36 PMyeah that'd pollute less
k
karelpeeters
11/28/2018, 3:38 PMIt doesn't really work though, what if I call functions that actually return stuff?
n
natpryce
11/28/2018, 4:09 PMThen when is checked for exhaustiveness
natpryce
11/28/2018, 4:09 PMIt is only not checked when used as a statement
k
karelpeeters
11/28/2018, 4:09 PMNo, it's only checked if you actually (pretend to) use the value.
n
natpryce
11/28/2018, 4:10 PMAh I see. Ignoring a result makes it considered a statement too?
k
karelpeeters
11/28/2018, 4:10 PMYeah.
n
natpryce
11/28/2018, 4:11 PMIn that case yes, it’d have to be an extension of Any?