{"ast_node_type":"variable","tokens":[{"end":71,"kind":"keyword","start":0,"text":"let"}]}
                let ety = fcx.try_structurally_resolve_type(span, ety);
            ExpectHasType(ety) => {
                if !ety.is_ty_var() { ExpectHasType(ety) } else { NoExpectation }