Report question

Question: Surprising behaviour related to records, protocols and compilation