summaryrefslogtreecommitdiff
path: root/tests/src/string-chars.rs
blob: 9fd917524a862d91cd6d35cace1a2663cd0e3642 (plain)
1
2
3
4
5
6
7
//@ [lean] known-failure
//@ [!lean] skip
//@ no-check-output
fn main() {
    let s = "hello";
    let _chs: Vec<char> = s.chars().collect();
}