You may not write production code until you have written a failing unit test.

You may not write more of a unit test than is sufficient to fail, and not compiling is failing.

You may not write more production code than is sufficient to pass the currently failing test.