I think it actually throws a type error