Rollup of 15 pull requests#78279

Closed

jonas-schievink wants to merge 19 commits intorust-lang:masterfrom

jonas-schievink:rollup-eaxzzhh

Commits on Oct 7, 2020

Revert "Allow dynamic linking for iOS/tvOS targets."
francesca64
committed

Commits on Oct 21, 2020

Simplify assert terminator only if condition evaluates to expected value
tmiasko
committed

Commits on Oct 22, 2020

improve const infer error
lcnr
committed

Commits on Oct 23, 2020