resolve: Turn the "non-empty glob must import something" error into a lint#65539

Merged

bors merged 3 commits intorust-lang:masterfrom

traxys:fix_62334

Oct 29, 2019

Commits on Oct 27, 2019

changing non-empty glob must import something to a lint
traxys
committed

Commits on Oct 28, 2019