tiny.choir.ir.traits.NoTerminator

1pub const NoTerminator = struct {2    pub const trait_name = "ir.trait.no_terminator";3    pub const id: interfaces.TraitId = interfaces.traitId(trait_name);4    pub const traits = interfaces.OperationTraits{ .has_no_terminator = true };56    fn verify(op_ptr: *const anyopaque) anyerror!void {7        const op: *const Operation = @ptrCast(@alignCast(op_ptr));8        try verifySingleBlockRegions(op);9    }1011    pub const vtable: interfaces.TraitVTable = .{ .verify_regions = verify };1213    pub fn entry() interfaces.TraitEntry {14        return .{ .id = id, .vtable = &vtable };15    }16};