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.