change the strategy for diverging types#40224
Merged
bors merged 36 commits intorust-lang:masterfrom Mar 30, 2017
Commits
Commits on Mar 30, 2017
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
