Constraint generation does not handle variance well

Description

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

Environment

None

Status

Assignee

Ambrose BS

Reporter

Ambrose BS

Labels

Approval

None

Patch

None

Components

Fix versions

Priority

Minor
Configure