Function load_constraints

src/program/infer/mod.rs:118–125

(deopt: &Deopt)

}

pub fn load_constraints(deopt: &Deopt) -> Result<APIConstraints> {
    let save_path: PathBuf = [deopt.get_library_misc_dir()?, "constraint.json".into()]
        .iter()
        .collect();
    let from_str = std::fs::read_to_string(save_path)?;
    let constraints: APIConstraints = serde_json::from_str(&from_str)?;
    Ok(constraints)
}