Fix Issue 16744: Add Typeof

[MetaLang]

This an alternative implementation to #4920

[dlang-bot]

Thanks for your pull request, @MetaLang! We are looking forward to reviewing it, and you should be hearing from a maintainer soon.

Some tips to help speed things up:

• smaller, focused PRs are easier to review than big ones

• try not to mix up refactoring or style changes with bug fixes or feature enhancements

• provide helpful commit messages explaining the rationale behind each change

Bear in mind that large or tricky changes may require multiple rounds of review and revision.

Please see CONTRIBUTING.md for more information.

Bugzilla references

Auto-close	Bugzilla	Description
✓	16744	We should have a TypeOf template so that typeof can be used with templates like staticMap

[PetarKirov]

LGTM

[UplinkCoder]

I approve this as well

[wilzbach]

@UplinkCoder - while this is a nice addition, it still is a new symbol and it this hasn't been approved by @andralex. On the contrary:

@jmdavis the simplest question is: since it's a trivial one-liner, why not just ask the user to do it if they have a need? We need to have a case for high frequency of use.

#4920 (comment)

-> #5664 reverts this temporarily, s.t. there's enough time to finish the discussion properly.

Sorry for the extra work @MetaLang

[MetaLang]

I'm not quite sure how it works... should I re-submit the original PR?

[wilzbach]

I'm not quite sure how it works... should I re-submit the original PR?

I think so - you might need to be a bit careful on the rebase after the revert has been merged.

[andralex]

Yah, thanks @wilzbach I do want us to think this over a little better