make it abstract

This commit is contained in:
Folkert 2022-02-28 23:43:58 +01:00
parent 751ae125a5
commit 9d82f795b7
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C
3 changed files with 7 additions and 5 deletions

View file

@ -21,9 +21,7 @@ pub fn run_solve(
constraint: Constraint,
var_store: VarStore,
) -> (Solved<Subs>, solve::Env, Vec<solve::TypeError>) {
let env = solve::Env {
vars_by_symbol: MutMap::default(),
};
let env = solve::Env::default();
let mut subs = Subs::new_from_varstore(var_store);