...a "typedef block" where you can introduce metatypes and give them constraints.

For constness:

typedef...

...typedef, only the outer type has a typedef.  What you need is a 'deep' typedef...

...it in the case of mutable argument? typedef surrogate as mutable type?

In all three...

...yandex.ru  2008-10-14 03:34 -------
typedef as subtype of const(char)[] just "inherits...

...in a different post.

I think the typedef-based approach could work (and be that...

...2416

           Summary: Slice of typedef'ed array should preserve the typedef'ed
                    type
           Product: D...

...is by substituting Tk with a typedef for it:

typedef Tk __Surrogate;
typeof(expression_involving...

...of the type they are based on?

typedef int Bar;

typeof(s) foo(Bar s...

...to make the same with struct, union, typedef etc. etc.

Not an equivalent. You allows...

...that's why I prefer to use typedef/alias.

When I write code I want...