replace fact type parameters with FactTypes#130

Merged

nikomatsakis merged 4 commits intorust-lang:masterfrom csmoe:factypes

Oct 3, 2019

+170-192

Commits on Sep 24, 2019

Commits on Sep 25, 2019

replace type parameters in polonius bin
csmoe
committed