search

flux-rs / flux

Refinement Types for Rust
MIT License
638 stars 18 forks source link

Unsupported cast #641

Closed ranjitjhala closed 3 months ago

ranjitjhala commented 3 months ago

Don't crash on code like the below

pub fn foo(x: *const u8) -> usize {
    let bloop = x as usize;
    bloop
}