If you call foo with an int or with a double, then it gets inlined. I don’t think they can inline foo as you’ve written it because the variant could be valuele

If you call foo with an int or with a double, then it gets inlined. I don’t think they can inline foo as you’ve written it because the variant could be valueless by exception.