Merge pull request #5589 from dotty-staging/fix-tasty-decorator-scope

Move TASTy Reflect decorators to top level

Author: nicolasstucki