You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
5.9-beta regression, Effect-TS's Effect result typed as any #62090
I've stumbled across a situation where a return type is unexpectedly typed as any while using the Effect library.
I tried to make my reproduction as minimal as possible, but if I change anything else at this stage, the types seem to inexplicably change (e.g. commenting out one of the fields in the Schema)
This looks kind of sick, removing any field from the schema makes it work, and even in the case where there is any extracting the return type results in a correct type.
changed the title [-]Possible 5.9-beta regression, return typed as any[/-][+]5.9-beta regression, Effect-TS's Effect result typed as any[/+]on Jul 19, 2025
Activity
mikearnaldi commentedon Jul 19, 2025
This looks kind of sick, removing any field from the schema makes it work, and even in the case where there is
anyextracting the return type results in a correct type.Repro in playground:
https://www.typescriptlang.org/play/?noErrorTruncation=true&ts=5.9.0-beta#code/JYWwDg9gTgLgBAbzgUQGaoKYGMYBo4DKWAFhiAIZzkDOhcAvnKlBCHAEQbrYzsDcAKAFYIAO2rwA4hhgBJUQDcIwLBmoBVKABsACuSjkQtALyEAdARhQArjgAUCAXDgB3UlAwAucxDAxgYuRadgQWVsCiAOYAlLhOcNAAJhhQ3qG+-oHBoZZQETFxzrIAItRpZhkBokEhZtRgWsAwduy47NFmYMBgGLUi4BDUvaEAglAGAJ616uol0fOx8fJKKhgActYgAEYpZT5+VTWh9Y3Nre2d3cNm-ZBDtWOTtWtiyOAwEwAqeSAgGIm5fILRbOADCYhg5BwJT26QOWVqJyaLTaHS6PT6rDu10e5CmoRmcwWhUIkJg1iGsIq8Oq2TqDWR5zRV0xA3uo3GeNqABkmikauxUBAIK0OFt9O1gSSIlgtNZkmMSMAFP9ypUEaEAELCrQYciiABiLBAgKiILgWA85Bg-01EwAshMRmAwGqaUczNqILr9UbWKaCvFrKImolXftMrTnpsdlA-SbwlFLhjQrdBtcXqI1hhItblRh5DBifFqJsKFAJgB5URaCZuyMer0+w3GgPmob6EifFIgeuHOltklgciRLzmANDkcYAjAABeY5yicicXo0SEInE8A8AEdrGp4KYADzxABKajAJPUOjiAD47PpIntHM5NLp9IZqERSBRyl+yORD31CZ8CvfAgJvEkz3qMQhj-H9xxIf9Dygi8qFECYbwEVc4GMG84HiOwAH1hwMIxvCvaIcLw+JnDQTAcDMUdRDsVBgxwKoACo7Eo59nD4jxySgUQ4AmYAMC0RIOPMZIRGSdRRAAa1ECAXGYh9qDMFCYOnRCKGiBxVxohg1z4viBAAenMuAIjgD4emoS1ungABWMwAE44B2SE4AE6whLgBQgj3azaDs-4qFoOieDMKKcEA9DMI3CQ4FHORFGUVQTB8jBd33Bx4lfPRSM-XTyG8aQ0pWTLCvfIxIPPbS4LK8crFsZpeOcYdR3KTNs1zfwVULElnCFCBfyXeJDMMiyrJEcYeFrWyJh6RIBDCnycLgM9BNET5lowQ8wogVAUpkZYMrUG9BCAA
[-]Possible 5.9-beta regression, return typed as any[/-][+]5.9-beta regression, Effect-TS's Effect result typed as any[/+]Andarist commentedon Jul 19, 2025
Duplicate of #62032
anydisplayed in type with noErrorTruncation: true #62032