pub fn collect_vars(ir: &Ir, id: InstId, vars: &mut FxHashSet<NameId>)
Collects all type variables from a type expression into a set.