tiny.choir.ir.traits.SameTypeOperands

1pub const SameTypeOperands = struct {2    pub const trait_name = "ir.trait.same_type_operands";3    pub const id: interfaces.TraitId = interfaces.traitId(trait_name);45    fn verify(op_ptr: *const anyopaque) anyerror!void {6        const op: *const Operation = @ptrCast(@alignCast(op_ptr));7        if (op.operands.items.len < 2) return;89        const ref_type = op.operands.items[0].value.type;10        for (op.operands.items[1..]) |operand| {11            if (!operand.value.type.eql(ref_type)) {12                return TraitError.SameTypeOperandsMismatch;13            }14        }15    }1617    pub const vtable: interfaces.TraitVTable = .{ .verify = verify };1819    pub fn entry() interfaces.TraitEntry {20        return .{ .id = id, .vtable = &vtable };21    }22};