separate_compiler: `shortcut_equate` works on `is_same_instance`