[TYPECHECK]
ignore-on-opaque-inference=n