Internal types inference testing

[jgoux]

🎯 Changes

What changes are made in this PR? Is it a feature or a bug fix?

I added an example project which should break if we don't export enough internal types from @trpc/server.

You can try playing with it by removing stuff from internals.ts and see it breaking.

I used pnpm overrides to directly be linked against the live versions of @trpc/client and @trpc/server (useful trick found in vitest repo!)

I'm not sure about the best way to run it in your CI workflow, basically, all you need is:

1. Install + build trpc monorepo packages
2. Go to examples/.test/internal-types-inference
3. Run pnpm i
4. Run pnpm build

If the pnpm build is successful, congrats, you broke nothing! 😄

edit: Please see #3789 (comment)

@KATT Would you mind finishing the work and integrating these commands into the current CI workflow?

I also audited each exported type from internals.ts against both the example and my monorepo and I was able to delete a few of them. 👍

✅ Checklist

• I have followed the steps listed in the Contributing guide.
• If necessary, I have added documentation related to the changes made.
• I have added or updated the tests related to the changes made.

[vercel]

The latest updates on your projects. Learn more about Vercel for Git ↗︎

Name	Status	Preview	Comments	Updated
next-prisma-starter	✅ Ready (Inspect)	Visit Preview	💬 Add your feedback	Feb 18, 2023 at 2:39PM (UTC)
og-image	✅ Ready (Inspect)	Visit Preview	💬 Add your feedback	Feb 18, 2023 at 2:39PM (UTC)
www	✅ Ready (Inspect)	Visit Preview	💬 Add your feedback	Feb 18, 2023 at 2:39PM (UTC)

[vercel]

@jgoux is attempting to deploy a commit to the trpc Team on Vercel.

A member of the Team first needs to authorize it.

[jgoux]

I simplified the example a lot, a single file is enough to test the internal types export! ✌️

I tried to adopt the same naming convention as the other examples.

Reducing the test case to the max made the issue very clear to me, and I added a note in a README about it. 😄

Now that the example is part of the monorepo, the only thing to do to test is to run the build script of the @examples/internal-types-export package.

@KATT Feel free to integrate that 👆 at the relevant location in the CI.