feat: require trait function calls (Foo::bar()) to have the trait in scope (imported)

feat: require trait function calls (Foo::bar()) to have the trait in scope (imported) #2731