ID0000252: This issue was created automatically from Mantis Issue 252. Further discussion may take place here.
|Plug-in > jessie
|Fixed in Version
Trying to use global or type invariants I realized global invariants work, but type invariants unfortunately do not.
Anyway, using both - global or type invariants - there are syntax errors when using the strength modifiers weak or strong.
Type and global invariants (including their strength modifiers) would be a very useful feature, I wanted to recommend for taking into consideration for future implementation.
Thank you in advance, Kerstin