blob: f7dedda51b3e2265a4250c8ab5b460544bb2695b (
plain)
1
2
3
4
5
6
7
8
|
<interactive>:19:1: warning: [-Wunrecognised-pragmas (in -Wdefault)]
Unrecognised pragma
<interactive>:62:1: error:
• Role mismatch on variable b:
Annotation says phantom but role representational is required
• while checking a role annotation for ‘T1’
|