Whether this phase can change what the method does. Those bind a return type as a constant, so they must resolve to exactly one method.