Problem
Within a wrap-only type, a self reference is possible. We allow this with nested properties as well.

Solution
I would like the following code to work:

set_type('W', {
  w: 'W',
}, true);

Describe alternatives you've considered
Leave the code as-is.

Additional context
We must prevent wrap-only type with non-nillable self-references to be converted to none-wrap-only type.