{"ast_node_type":"variable","tokens":[{"end":46,"kind":"keyword","start":0,"text":"if"}]}
            if let Some(ty) = v.ty(Interner) {
            let var = &self.free_vars[i];
                // eagerly replace projections in the type; we may be getting types