Record constructor Null safety

Record()