Add tests for assoc type issues that have been fixed

Closes #17732
Closes #18819
Closes #19479
Closes #19631
Closes #19632
Closes #19850
Closes #19883
Closes #20005
Closes #20009
Closes #20389 

---

cc @nikomatsakis @sfackler