Board Thread:Fun and Games/@comment-27774016-20171205001558/@comment-27774016-20180109011904

did they appear in dotc?