String () { int a = 0; switch (a) { case 0: return null; case 4: String description; return <error descr="Variable 'description' might not have been initialized">description</error>; default: return ""; } }