{"ast_node_type":"variable","tokens":[{"end":49,"kind":"keyword","start":0,"text":"let"}]}
    let mut table = InferenceTable::new(db, env);
) -> Result<(Vec<Adjustment>, Ty), TypeError> {
    let vars = table.fresh_subst(tys.binders.as_slice(Interner));