Coding style.
Added 12263-slow-typechecking-performance (thanks to @robrix for finding it)