How to provide type-saferty for the objects with many properties in TypeScript without type annotation omitting?

Question

My issue AsValue utility type feature request in TypeScript repository has been declined and Nov 2020. I expected the below API: