Tests now build and run, but fail because they relied on param-type-constraint to 'close' the record types