{"ast_node_type":"variable","tokens":[{"end":51,"kind":"keyword","start":0,"text":"let"}]}
        let ty = self.insert_type_vars_shallow(ty);
        // use a new type variable if we got error type here
        // FIXME: This never check is odd, but required with out we do inference right now