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. 

Reply via email to