Closed
Description
It has a field called can_not_copy which is intended to just be a noncopyable placeholder type, but it's a port and ports are copyable.
Metadata
Metadata
Assignees
Labels
No labels
{{ message }}
No one assigned
No labels
No type
No projects
No milestone
None yet
No branches or pull requests