それだと環境依存になっちゃいますし，重いということが分かるまでにすでに時間がかかってしまっていますし，何より今 Swift で実現されている "The compiler is unable to type-check this expression in reasonable time" のコンパイルエラーや -warn-long-function-bodies, -warn-long-expression-type-checking などの警告とあまり変わらないので，現状とあまり変わらない気がします．