{"ast_node_type":"variable","tokens":[{"end":51,"kind":"keyword","start":0,"text":"let"}]}
    let vars = make_substitutions(tys, &mut table);
    let mut table = InferenceTable::new(db, env);
    let ty1_with_vars = vars.apply(tys.value.0.clone(), Interner);