At this moment, Drop types are also not legal, because compiler adds a special "drop flag" into the type. This is slated to change in the future.
Since drop flags have been removed since ~2016, this description should be removed, or changed if Drop types still can't/shouldn't be used.
Since drop flags have been removed since ~2016, this description should be removed, or changed if Drop types still can't/shouldn't be used.