fixup! Add EEP for native records

Author: bjorng

eeps/eep-0079.md

@@ -327,12 +327,18 @@ Expr#Module:Name.Field
 These expressions return the value of the specified field of the
 native-record value.
 
-An access operation fails with a `badfield` error if:
+An access operation fails with a `{badrecord,Expr}` error if:
 
 * The native-record value is not visible at the call site (the
   native record is not exported and is used outside of the defining
   module).
 
+* `Expr` does not evaluate to a native-record value of the expected
+  type `#Name` or `#Module:Name` (that is, it is either not a native record
+  at all or it is some other term).
+
+An access operation fails with a `{badfield,Field}` error if:
+
 * The field `Field` is not defined in the native-record value.
 
 The expression can be used in guards — a guard would fail if the
@@ -346,6 +352,10 @@ The following syntax allows accessing field `Field` in any record:
 Expr#_.Field
 ```
 
+This access operation fails with a `{badfield,Field}` error if:
+
+* The field `Field` is not defined in the native-record value.
+
 ### Updating native records
 
 The syntax for updating native-record values:
@@ -378,6 +388,10 @@ The following syntax allows update any record having the given fields:
 ```erlang
 Expr#_{Field1=Expr1, ..., FieldN=ExprN}
 ```
+An anonymous update operation fails with a `{badfield,FN}` error if:
+
+* The native-record update expression references the field FN which is
+  not defined (in the structure definition).
 
 ### Pattern matching over native records