pub trait MapFilePermissions:
MessageAllowed<OpenFileMessage>
+ MessageAllowed<CloseFile>
+ MessageAllowed<ReadFile> { }pub trait MapFilePermissions:
MessageAllowed<OpenFileMessage>
+ MessageAllowed<CloseFile>
+ MessageAllowed<ReadFile> { }