sorry if that sounds like my argument and sorry for not being expert enough to the Julia source code ![]()
There are no documentation, only discussions I recall and Julia source code if you want “proof”, I will defer this question to other experts you may find more trustworthy than me.