reify_example.zig

const TypeInfo = @import("builtin").TypeInfo;

// Generates the following:
// struct { pub const Self = this; data: Base, next: ?*Self, }
pub fn contrived_example(comptime Base: type) type {
    comptime {
        var fields = []TypeInfo.StructField {
            TypeInfo.StructField { .name="data", .offset=null, .field_type=Base },
            // SelfType is defined as SelfType = @OpaqueType()
            // It's simply a tag type that represents the resulting reified type.
            TypeInfo.StructField { .name="next", .offset=null, .field_type=?*TypeInfo.SelfType },
        };

        var defs = []TypeInfo.Definition {
            TypeInfo.Definition { .name="Self", .is_pub=true, .data=TypeInfo.Definition.Data { .Type=TypeInfo.SelfType, }, },
        };

        var info = TypeInfo.Struct {
            .layout=TypeInfo.ContainerLayout.Auto,
            .fields=fields[0..],
            .defs=defs[0..],
        };

        return @reify(info);
    }
}

test "contrived example" {
    const T = contrived_example(u8);
}

// TODO: All TypeInfo slices should be const