It should be possible to refine Soft typed variables when mutating ?
leunam217 opened this issue · comments
Hi I wander why this is not possible
try
It's a pity that this is not supported as is very common. For example :
By the way the current type of prototype is unknown but I think that {...} it's more accurate.
Is possible to do it in refinement phase ?
It seems like really hard task. I will try to find some solution, but i don’t think, that we will find something strict and easy to use.
Thank you for your contribution.
You are awesome ^_^