Perform WF-check on `type`s with no type parameters#69741

Closed

estebank wants to merge 1 commit intorust-lang:masterfrom estebank:type-wfcheck

+150-44

Commits on Feb 22, 2021

Perform WF-check on types with no type parameters
estebank
committed