| 17:32 | <ljharb> | Bakkot: think it's worth a PR to change them all to "Property Key"? since it's a type it feels better to me capitalized |
| 17:33 | <Bakkot> | ehh, we don't consistently capitalize types |
| 17:33 | <Bakkot> | "(a non-negative integer)", e.g. |
| 17:33 | <ljharb> | that is true |
| 17:33 | <ljharb> | there's not a strong reason to do it, for sure |
| 17:36 | <Bakkot> | I'm inclined to leave things alone by default |
| 17:36 | <Bakkot> | absent strong reason to change |
| 17:42 | <ljharb> | alrighty |