message SomeMsg {
    iField: Int;
    sField: String;
}

receive(msg: SomeMsg) {
    let first: Int = msg.iField;
    let second: Int = msg.sField;
}

message SomeMsg {
    iField: Int;
    sField: String;
}

receive(msg: SomeMsg) {
    let { first, second } = msg; // when we'll have a local type inference from #161
    // and
    let { onlyFirst, _ } = msg; // discarding the unwanted fields
    
    // Trailing commas should be allowed as well:
    let { firstAgain, secondAgain, } = msg;
    
    // The inverse of such destructuring operation is already present in the language:
    SomeMsg{ iField: first, sField: second };
}