tiny.choir.ir.traits.IsolatedFromAbove

1pub const IsolatedFromAbove = struct {2    pub const trait_name = "ir.trait.isolated_from_above";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        try verifyOperationOperandsWithin(op, op, false);8    }910    pub const vtable: interfaces.TraitVTable = .{ .verify_regions = verify };1112    pub fn entry() interfaces.TraitEntry {13        return .{ .id = id, .vtable = &vtable };14    }15};