Rollup merge of #136432 - fmease:lta-fix-def-site-checks, r=compiler-errors

LTA: Actually check where-clauses for well-formedness at the def site

All of the added tests used to wrongfully pass.

r? oli-obk or types/compiler or reassign

Author: jieyouxu