We wish to support where-clauses and especially implied bounds on binders. This is required to overcome various GAT limitations but also to close soundness holes and other changes. Solving this properly requires coinduction.
Requires #116
cc rust-lang/rust#44491, which is related and would make use of the same requirements
We wish to support where-clauses and especially implied bounds on binders. This is required to overcome various GAT limitations but also to close soundness holes and other changes. Solving this properly requires coinduction.
Requires #116
cc rust-lang/rust#44491, which is related and would make use of the same requirements