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