Record types that are declared in local scopes or declared in-place in variable declarations can only contain field declarations. For advanced features in record types (such as methods, properties, and nested types), the record type must be an explicitly declared global type.