Let mangle_repr_type do its work