Jo, schon klar. Damit hatte ich dann ja auch gesucht. Aber zum einen ist es mehr Tipparbeit -- und wir Informatiker sind doch bekanntermaßen faul
-- und zum anderen ist es einfach ein Bug, wie ich finde. Die Frage, die sich einem dabei aufdrängt ist doch auch, welche Begriffe denn auch nicht funktionieren.
»Remember, the future maintainer is the person you should be writing code for, not the compiler.« (Nick Hodges)