Front end does not yet implement downwardInferObjectPatternRequiredType #51795
Description
downwardInferObjectPatternRequiredType is a part of the pattern matching infrastructure; it's responsible for filling in missing type arguments of object patterns.
I'll work with @johnniwinther to get this fixed.