{"ast_node_type":"variable","tokens":[{"end":56,"kind":"keyword","start":0,"text":"let"}]}
                let ety = table.resolve_ty_shallow(ety);
            Expectation::HasType(ety) => {
                if ety.is_ty_var() { Expectation::None } else { Expectation::HasType(ety) }