> > Also, does/will/should the shrinker restore the SSA condition if a > > transformation breaks it? My guess is not, since so far no transformation > > has needed it. > > Right. We will write another pass that restores SSA that will be run > only after passes that break it. It will need to be run as part of the passes that break it, else -type-check true will complain loudly during checkScopes.