[TYPECHECK]
ignore-none=no