`I: Index + Isomorphic` should imply `<I as Index>::Size: Isomorphic`.
Opened this issue · 0 comments
apt1002 commented
I find myself writing this a lot:
where I: Isomorphic<J>, <I as Index>::Size: Isomorphic<<J as Index>::Size>It would be nice just to write where I: Isomorphic<J>. Is this possible?