Anton3

Refactor Metatypes, repurpose T.self and Mirror

• Proposal: SE-NNNN
• Author: Adrian Zubarev, Anton Zhilin
• Status: Awaiting review
• Review manager: TBD

Introduction

This proposal want to revise metatypes T.Type, repurpose public T.self notation to return a new Type type instance rather than a metatype, merge SE-0101 into Type, rename the global function from SE-0096 to match the changes of this proposal and finally rename current Mirror type to introduce a new (lazy) Mirror type.

Anton3

Seal T.Type into Type<T>

• Proposal: SE-NNNN
• Author: Adrian Zubarev, Anton Zhilin
• Status: Awaiting review
• Review manager: TBD

Summary

• Replace T.self notation with T.metatype and T.Type with Metatype<T>