string-chars.rs « src « tests - aeneas - aeneas rust verifier with a hacky Isabelle backend

summary refs log tree commit diff

path: root/tests/src/string-chars.rs

blob: 9fd917524a862d91cd6d35cace1a2663cd0e3642 (plain)

//@ [lean] known-failure
//@ [!lean] skip
//@ no-check-output
fn main() {
    let s = "hello";
    let _chs: Vec<char> = s.chars().collect();
}