Uma coisa interessante que eu vi nos códigos em rust são os tipos primitivos, como o :f64. Isso indica que o números atribuídos às variáveis X e Y, ambas do escopo main, vão ser pontos flutuantes de 64 bits na memória do pc ao iniciar o código que vai dar o resultado da soma dos dois.
Caso eu trocasse para o tipo primitivo :i8, um inteiro de 8 bits, o código não executa por porque os números somados não são inteiros e o rust não faz uma conversão automática. Além do fato de que casas decimais em números flutuantes são representadas a partir de 32 bits.
Isso é UMA das coisas que fazem a linguagem ser rápida porque os tipos já são definidos dentro do código antes de sua execução, dando instrução à máquina, sem a necessidade de serem interpretados durante a execução, o que geraria um custo na performance.