I think I get it
# atrium
I think I get it
I had a look at Arrow and see that Left and Right are both subclasses of Either. In this case you could use:
Copy code
That's surely still too verbose but maybe already a start
Even better news, I published 0.6.0 and generalized DownCaster to TypeTransformer. Have a look at https://github.com/robstoll/atrium/blob/master/atrium-assertions/src/test/kotlin/ch/tutteli/atrium/assertions/any/typetransformation/TypeTransformerSpec.kt#L44 You could do something similar (or copy it). Also have a look 22 where you can see its usage
ah... wrong line numbers 41 and 19