[Sema] Add specialization constraints for func and variable types, then diagnose w/fixes.#74909

gregomni merged 1 commit intoswiftlang:mainswiftlang/swift:mainfrom

gregomni:generic-arggregomni/swift:generic-argCopy head branch name to clipboard