Local variable type inference - will it compile?