Closed
Description
Using into
instead allows for more conversions to be defined, since it has different coherence rules, which all else being equal would be good. But because of that, there are (per the IRLO thread) some uses that are inferable today with from
but not into
.