I wonder if this breaks BrainF*** in the Swift type system, which relies heavily on type inference for KeyPaths being able to do an unbounded search!
(I don't mind if it does, and I doubt it'd break much if any "real" code, but it'd be funny if this technique was disallowed immediately after I discovered it)