Constraint generation does not handle variance well

Description

Several places in cs_gen.clj have outstanding TODO's about handling variance.

Environment

None

Assignee

Ambrose Bonnaire-Sergeant

Reporter

Ambrose Bonnaire-Sergeant

Labels

Approval

None

Patch

None

Components

Fix versions

Priority

Minor
Configure