I know that this is special-case handling that might be undesirable, but can we not just forbid this?