On Monday, 17 May 2021 at 14:56:21 UTC, Steven Schveighoffer wrote: > It used to be required, but we removed that requirement a long > time ago. yeah i remember ElementType required it last time i checked but that was a while ago indeed it is all fixed now