`localTyper typed Select(gen.mkAttributedThis(newClass), captureProxies(tree.symbol))`

could just be:

`gen.mkAttributedSelect(gen.mkAttributedThis(newClass), captureProxies(tree.symbol)))`