// xfail-test
fn main() {
    let x : str/@ = "hello"/@;
}