{"ast_node_type":"variable","tokens":[{"end":56,"kind":"keyword","start":0,"text":"let"}]}
                let scc = self.constraint_sccs.scc(vid);
                // FIXME: We could probably compute the LUB if there is one.
                let upper_bounds: Vec<_> = self