This was disallowed in b52a1ed60a641a16997fe918a2c890a1b4ef0ef6. Maybe @jashkenas remembers why?