strange type checking bug repro case