Update non-local-defns regarding parameterized traits and types#3581

dhardy wants to merge 4 commits intorust-lang:masterrust-lang/rfcs:masterfrom

dhardy:revise-nonlocal-defnsdhardy/rfcs:revise-nonlocal-defnsCopy head branch name to clipboard