Show better error about 2487 type-check fail