characters are type annotated as `char` instead of `FStar.Char.char`

[maximebuyse]

#[allow(dead_code)]


fn test() {
   let mut s = String::from("ab");
   let b = s.pop();
}

Open this code snippet in the playground