This record fails to compile:

public primitive record RefFlavoredRecord.val(int theInteger, String theString) {}

---
with:
RefFlavoredRecord.java:32: error: record header expected
public primitive record RefFlavoredRecord.val(int theInteger, String theString) { }