Let PHP throw a typehint error