fail method in spec.cr
Boostrap: type inference for Var