remove debug code

This commit is contained in:
Folkert 2022-04-17 13:54:53 +02:00
parent 5501787e64
commit 90a980a3e9
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C

View file

@ -3610,20 +3610,6 @@ fn run_solve_solve(
abilities_store, abilities_store,
); );
let solved_subs = if true {
solved_subs
} else {
let vars_by_symbol: Vec<(Symbol, Variable)> = solved_env.vars_by_symbol().collect();
let mut serialized = Vec::new();
solved_subs
.inner()
.serialize(&vars_by_symbol, &mut serialized)
.unwrap();
let (subs, _vbs) = Subs::deserialize(&serialized);
Solved(subs)
};
let exposed_vars_by_symbol: Vec<_> = solved_env let exposed_vars_by_symbol: Vec<_> = solved_env
.vars_by_symbol() .vars_by_symbol()
.filter(|(k, _)| exposed_symbols.contains(k)) .filter(|(k, _)| exposed_symbols.contains(k))