fix: Add more thorough check for whether a type is valid when passing it from constrained code to unconstrained code

fix: Add more thorough check for whether a type is valid when passing it from constrained code to unconstrained code #8300