> On Aug 31, 2015, at 9:55 PM, Matt Bauman <[email protected]> wrote: > > That's the point of the macro - to ensure that inference infers a concrete > result. It can help ensure that code stays type-stable. Throwing for a union > is expected.
OK, that makes sense now! Thanks! (and it shows I was right about that function, that it isn’t type-stable!)
