Rollup of 10 pull requests#77867

Merged

bors merged 23 commits intorust-lang:masterfrom

JohnTitor:rollup-0odg1n4

Oct 12, 2020

Commits on Oct 4, 2020

cleanup WithOptConstParam queries
lcnr
committed

Commits on Oct 5, 2020

query_name_of_opt_const_arg -> query_name_opt_const_arg
lcnr
committed

Commits on Oct 8, 2020

Commits on Oct 10, 2020

Commits on Oct 12, 2020