Function dedup_constraint

src/program/infer/dynamic_infer.rs:390–402

(constraints: Vec<Constraint>)

}

fn dedup_constraint(constraints: Vec<Constraint>) -> Vec<Constraint> {
    let mut new = Vec::new();
    let mut set = Vec::new();
    for constraint in constraints {
        let arg = constraint.get_integer_arg();
        if set.contains(&arg) {
            continue;
        }
        new.push(constraint);
        set.push(arg);
    }
    new
}

#[test]
fn test_dynamic_infer() -> Result<()> {