class a { void f() { char c = '<caret>y'; } }