20008, "mppf", "should it be possible to query if a param can be converted to a type?", "2022-06-15T15:13:57Z"
We have isCoercible today for generic code to use to find out if one type can be implicitly converted to another. But, if the generic code is working with a param, and wants to know if the param can implicitly convert to another type, there is no helper function way to do that. Should there be?
Of course it is possible to compute this by making some inner functions and calling them.