Consider using a phantom type in JS<T> to indicate rooted-ness

[jdm]

It has been claimed that being able to write static analysis that verifies safe rooting behaviour is more complex when multiple types are involved (ie. JS<T>, Root<T>). A proposal for reducing this complexity is to add a phantom type to JS<T>, so we get JS<T, Unrooted> or JS<T, Rooted>. More specific examples of why this is easier to analyze would be valuable.

[Ms2ger]

If we did this, we'd probably want to keep typedefs like type Root<T> = NewThing<T, Rooted>.

[nox]

I don't think this would reduce complexity but instead increase it. Nowadays Root<T> just contains a T, so it's not like it would even help.