@bjz is there an issue or RFC for associated items?  I couldn't find one via github's search.  If not, perhaps best to leave as a reference to CTFE for now.