scala.tools.nsc.backend.icode.analysis.CopyPropagation
Locations can be local variables, this, and fields.
Locations can be local variables, this, and fields.