Type Error in Recursive Schema Definition
Type error with recursive Schema.
Seems to happen when the recursive object has a string property that is refined into a union of literals (think
Here's a simple repro: https://effect.website/play/?code=aW1wb3J0IHsgU2NoZW1hIH0gZnJvbSAiZWZmZWN0IgoKaW50ZXJmYWNlIEV4cHJlc3Npb24gewogIHJlYWRvbmx5IHR5cGU6ICJleHByZXNzaW9uIgogIHJlYWRvbmx5IHZhbHVlOiBudW1iZXIgfCBPcGVyYXRpb24KfQoKaW50ZXJmYWNlIE9wZXJhdGlvbiB7CiAgcmVhZG9ubHkgdHlwZTogIm9wZXJhdGlvbiIKICByZWFkb25seSBvcGVyYXRvcjogIisiIHwgIi0iCiAgcmVhZG9ubHkgbGVmdDogRXhwcmVzc2lvbgogIHJlYWRvbmx5IHJpZ2h0OiBFeHByZXNzaW9uCn0KCmNvbnN0IEV4cHJlc3Npb24gPSBTY2hlbWEuU3RydWN0KHsKICB0eXBlOiBTY2hlbWEuTGl0ZXJhbCgiZXhwcmVzc2lvbiIpLAogIHZhbHVlOiBTY2hlbWEuVW5pb24oCiAgICBTY2hlbWEuTnVtYmVyLAogICAgU2NoZW1hLnN1c3BlbmQoKCk6IFNjaGVtYS5TY2hlbWE8T3BlcmF0aW9uPiA9PiBPcGVyYXRpb24pCiAgKQp9KQoKY29uc3QgT3BlcmF0aW9uID0gU2NoZW1hLlN0cnVjdCh7CiAgdHlwZTogU2NoZW1hLkxpdGVyYWwoIm9wZXJhdGlvbiIpLAogIG9wZXJhdG9yOiBTY2hlbWEuTGl0ZXJhbCgiKyIsICItIiksCiAgbGVmdDogRXhwcmVzc2lvbiwKICByaWdodDogRXhwcmVzc2lvbgp9KQ#0f32679b603b
Seems to happen when the recursive object has a string property that is refined into a union of literals (think
'A' | 'B'. Here's a simple repro: https://effect.website/play/?code=aW1wb3J0IHsgU2NoZW1hIH0gZnJvbSAiZWZmZWN0IgoKaW50ZXJmYWNlIEV4cHJlc3Npb24gewogIHJlYWRvbmx5IHR5cGU6ICJleHByZXNzaW9uIgogIHJlYWRvbmx5IHZhbHVlOiBudW1iZXIgfCBPcGVyYXRpb24KfQoKaW50ZXJmYWNlIE9wZXJhdGlvbiB7CiAgcmVhZG9ubHkgdHlwZTogIm9wZXJhdGlvbiIKICByZWFkb25seSBvcGVyYXRvcjogIisiIHwgIi0iCiAgcmVhZG9ubHkgbGVmdDogRXhwcmVzc2lvbgogIHJlYWRvbmx5IHJpZ2h0OiBFeHByZXNzaW9uCn0KCmNvbnN0IEV4cHJlc3Npb24gPSBTY2hlbWEuU3RydWN0KHsKICB0eXBlOiBTY2hlbWEuTGl0ZXJhbCgiZXhwcmVzc2lvbiIpLAogIHZhbHVlOiBTY2hlbWEuVW5pb24oCiAgICBTY2hlbWEuTnVtYmVyLAogICAgU2NoZW1hLnN1c3BlbmQoKCk6IFNjaGVtYS5TY2hlbWE8T3BlcmF0aW9uPiA9PiBPcGVyYXRpb24pCiAgKQp9KQoKY29uc3QgT3BlcmF0aW9uID0gU2NoZW1hLlN0cnVjdCh7CiAgdHlwZTogU2NoZW1hLkxpdGVyYWwoIm9wZXJhdGlvbiIpLAogIG9wZXJhdG9yOiBTY2hlbWEuTGl0ZXJhbCgiKyIsICItIiksCiAgbGVmdDogRXhwcmVzc2lvbiwKICByaWdodDogRXhwcmVzc2lvbgp9KQ#0f32679b603b
