feat!: disallow calling unconstrained functions outside of unsafe blocks and passing unconstrained functions in place of constrained functions

feat!: disallow calling unconstrained functions outside of unsafe blocks and passing unconstrained functions in place of constrained functions #18058