Ok I was drifting off to sleep when I thought of an issue: implicit casts. The destination side of t
Ok I was drifting off to sleep when I thought of an issue: implicit casts. The destination side of the operator needs to be a PtrType<T> where T is actually T, which means there’s no way we can do typed implicit casts
