pub fn check_placement(program: &Program, diags: &mut Diagnostics)Expand description
Verify every placement in a checked program, annotated or solved.
pub fn check_placement(program: &Program, diags: &mut Diagnostics)Verify every placement in a checked program, annotated or solved.