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