Rollup of 14 pull requests#65716

Merged

bors merged 43 commits intorust-lang:masterfrom

JohnTitor:rollup-fkcr85k

Oct 23, 2019

Commits on Oct 2, 2019

Mention keyword closing policy
BO41
committed
Fix typo
BO41
authored

Commits on Oct 14, 2019

Add more coherence tests
weiznich
committed

Commits on Oct 17, 2019

Replaced warn attibute by deny
Lucas Henry
committed
Replaced warn attribute by deny
Lucas Henry
committed
Replaced pretty-json error-format with only json
Lucas Henry
committed
Replaced pretty-json error-format with only json
Lucas Henry
committed

Commits on Oct 18, 2019

Added text after error messages
Lucas Henry
committed
Apply suggested wording
BO41
authored

Commits on Oct 19, 2019

Fix test paths
weiznich
committed

Commits on Oct 20, 2019

Commits on Oct 21, 2019

Commits on Oct 22, 2019

Commits on Oct 23, 2019