flux
flux copied to clipboard
Allow `external` signatures
Sooner rather than later we will want to allow "assuming" types for functions from other crates /stdlib that are not part of flux
. For example, we want to allow some refined signature for arr.len()
that lets us check the code.
pub fn bar(arr: &[i32]) -> i32 {
let n = arr.len();
if 0 < n {
arr[0]
} else {
0
}
}