LYR-SEM0093
an opaque type made outside its module
Retired.
Lyric 5 has no 'opaque type' (LYR-SEM0175 refuses the declaration), so no program reaches the cast check without that error
A cast turns a value of the underlying type into an opaque alias outside the module that declares the alias.