This reverts commit e7cc3bddbe, reversing changes made to 734368a200.
e7cc3bddbe
734368a200
This means we stop supporting the case where a locally defined trait has only a single impl so we can always use that impl (see nested-tait-inference.rs).
Address comments Update limits