Consider allowing inline records in external definitions #7386
Description
Inline/nested records was recently added to v12. We could investigate what it'd take to allow them in external definitions as well, where they would also be quite useful.