Actual programmers using it as a proper tool should produce output indistinguishable from actual programmers not using it at all. That there even is (often) a visible distinction is a big part of the problem.

Notably, it even explicitly says in the proposal that it shouldn't require any policing. Instead, obvious cases are more important.