There are some issues regarding the integration of Deputy and SharC:
- The target of a SharC sharing cast can't have Deputy auto-bounds. This isn't a fundamental limitation, but fixing it requires modifying a chunk of delicate Deputy code.
- Deputy transformations create some extra(unused) references. If some SharC sharing casts are failing, try compiling with --nodeputy to see if that fixes things. More aggressive dead code elimination, or cleaning up the Deputy type-checker might fix this.