Error: expanded type is based on deferred or once class.
What to do: make type non-expanded, or base it on effective non-once class.
