Fix roles merging to apply only to non-rep-injective types.

Authored by ezyang on Mar 1 2017, 1:56 AM.


Test Plan


ezyang created this revision.Mar 1 2017, 1:56 AM
bgamari requested changes to this revision.Mar 4 2017, 3:51 PM

This looks fine but the behavior implemented here really should be defined in the users guide.

This revision now requires changes to proceed.Mar 4 2017, 3:51 PM
ezyang abandoned this revision.Mar 27 2017, 1:57 PM

This got merged (but the commit message was truncated so Phabricator didn't see it.)