Right now assignments do not do anything to the type of the variable: ```rust let a = 42; // a is int a = true; // a is still int ``` On a straight assignment to a lone variable, that variable should take on the type of the expression.