The types of record patters and top-level type patterns must be reference types, but nested type patterns can also have primitive types.