Rustfilt can also accept data from stdin, and pipe to stdout:
When accepting input from stdin, then does rustfilt flush() the output after each individual translation, so that it can be used interactively? This important property deserves explicit documentation.
When accepting input from stdin, then does rustfilt flush() the output after each individual translation, so that it can be used interactively? This important property deserves explicit documentation.