{"ast_node_type":"other","tokens":[{"end":27,"kind":"keyword","start":0,"text":"constraint.dedup();"}]}
        constraint.dedup();
        constraint.sort();
        let all_known = constraints.iter().all(|&(_, def_id, _)| def_id.is_some());