Type-checker bug