Created by: efritz
Pulled from #36122 by @tjdevries. This PR adds additional typechecking to types created by the user in an inference sandbox. Fixes #34296.
Existing and new unit tests.
Push commits to the source branch or add previously merged commits to review them.
