We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
-Xprint:typer
use this option to the compiler, it will show you what your code looks like after all givens have been added by the type checker: