Record types should refine Object.values

[flex-tjon]

Flow version: 0.210.0

Expected behavior

When annotating a dictionary as a Record, calling Object.values on that dictionary should return whatever the record type is: this is the way Object.values handles dictionaries that are created using indexed object syntax

Actual behavior

Calling Object.values returns an array of mixed elements instead.

• Link to Try-Flow or Github repo: https://flow.org/try/#1N4Igxg9gdgZglgcxALlAJwKYEMwBcD6aArlLnALYYrgA2WAzvXGCADQgYAeOBARgJ74AJhhhYiNXClzEM7DFCLl602e0hQhcMtCw18ufgAcqyMTXpyQ5LEZNCDx0+cvzOJtBQW49AOkMm+AhEWGhCKmZ6lgC+6hAi1AD0AFQABAACMDQQAO6pyYkAOlDFiYmpACoAFhip8Gj0uKlYUFAQPjpQqTkQaADW9M2DXCZ4GELFAbUACkRoYFUMGBVOgwC8qcAA2n0Y-MiphSDTAKIASgDCJwByFUepAD6HIAAiAPIAMh8Agmf3T0cLgAGABMRwAugdGp4oAhogBuUrlaq1SwaISpaC1IQQDD0KAAclwkycqVm80WlhWJnoZwwkDCqQ2dIZQgAPEdTpcbncQI9nu8vr9-s9gWC2KloXBYQA+RElKAaRpkgCqlwAEt8AMonfAVACapy1B3JCyW1LxLN6GI2wGKqTJ5yutwORwApEdWPbUoKfmdXSAACSe71igMVC5vQqFIggoEADhBGBDUGixRJJlSZywWggbyMnXo3zQaCw-CZmzovAwNChMmlCFYqQAbnoiBg6zC4VtwfLikqmqXc-nC8XS-sszm4HmC9OoEWS2WK1tvb4129eAArem4Xytmjt+gACmmaoump1esNJy1AEpfDYjEf9+2mTLUke7V0HakqzWDi+cjeg6gFet+0S3rexTgmwIDNhgDRztQzZAr4IIAIyoUCIDREAA

[jbrown215]

Hi, thanks for reporting, and I'm very pleased to see someone already making use of Flow's mapped types in the wild!

This is currently working as intended, though I do understand your frustration. The two object types you show in your example are different despite looking the same. PurchaseTypes is an indexed object type while PurchaseTypesRecord gets evaluated to {PERCENT: string, DOLLAR: string, CO2: string}. We currently have a special case that supports Object.values in a special way for indexed objects, but that does not apply to objects without indexers.

Record is special in that it gets rid of the typical reason we give for returning mixed, which is that inferring arbitrary unions of object values would be very bad for performance, but this would take some non-trivial work to implement.

[jbrown215]

didn't mean to close, leaving open