Port "Preserve type parameter constraint in emitted mapped types while preserving their distributivity"

Port "Preserve type parameter constraint in emitted mapped types while preserving their distributivity" #6412