https://www.typescriptlang.org/play?ts=5.2.0#code/N4KABGDGD2B2DOAXMBzApogSm+0CuATpGmALxgAUAlGQHxigQQEaGwPhMQDaAygJ4BbAEbQANgDoAJgEt4AB2jw0AXQBclGqXqMuTGAnFoJY6C

https://www.typescriptlang.org/play?ts=5.2.0#code/N4KABGDGD2B2DOAXMBzApogSm+0CuATpGmALxgAUAlGQHxigQQEaGwPhMQDaAygJ4BbAEbQANgDoAJgEt4AB2jw0AXQBclGqXqMuTGAnFoJY6CgoByABLRoBAIb8AhBaqcuAX3dgvEX2E48eBlYFDAWXEJiMlQMbEiiNGoAbhAPIA https://www.typescriptlang.org/play?ts=5.2.0#code/N4KABGDGD2... This link might work when TS 5.2.0 is released.