The following snippet redefines an incoming parameter which should not compile (and Tint will complain about it!):

fn fun(t: f32) -> f32 {
    let t = t + 1.0;
    return t;
}