add failing type-check test