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: f8490e76e37141edc9ce819abf473132778c2b02 (plain)

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