dmd 2.065 - Agenda

[Kelet]

Are there any plans for adding compile-time checking or recursive
data types to std.variant's Algebraic? I think algebraic data
types are important and the current implementation is not
suitable to solve a good portion of problems that the intended
implementation could.

Could this be a possible goal for 2.065? If not, are we lacking
demand? Lacking someone willing to work on it?