semantic: Copy type when inferring enum base.