zachs18

> So erroring out if there are any unknown attributes in the input (the first case here) would be one way to make this sound, perhaps with an error message...

Another wrinkle: For fields, we can check the types using some `const _: () = { /* do some stuff */ };`checks to make sure nothing changed the field types,...