Auto and var types do have a type. The compiler will figure out what that is.