If the `RecName` was already seen in the environment, it uses the recorded identifier (because it's a reference to a recursive contract). It works just like contract generation for `Rec` in that regard.