RerequiredNotSet { required i i: 43 } // note: even though parent type is borked, this type is fine