Invalid opaque type declaration.

#2172 Compile-time error

The implementation of opaque type 'X' doesn't match the type declaration in the interface module.