{"ast_node_type":"variable","tokens":[{"end":82,"kind":"keyword","start":0,"text":"let"}]}
                let default = self.table.fallback_value(var, kind).cast(Interner);
                // recursive type
                return (self.fallback)(var, VariableKind::Ty(kind), default, outer_binder)