Path types to associated types with form `T::A`

Closes #18433
Review changes
auto merge of #19789 : nick29581/rust/assoc-ufcs2, r=nikomatsakis

Closes #18433