Thanks for the tip! Fixed this; just missed this when writing the example.
This error would only be found if you wrote a test for it. The framework doesn't have an AI integration that checks whether or not your types are consistent with real world applications... but could.
I know the answer is a bit tongue in cheek, but that would be very valuable and cool, just in case someone from Cursor or Refact is reading this thread ^^
How and when are these kinds of types checked? Would this error only be found at runtime?