Changing cast from type(obj) to cast(obj, type) results in identical unresolved symbol.