Avoid instrumentation of inline and erased definitions#15504

nicolasstucki merged 1 commit intoscala:mainscala/scala3:mainfrom

dotty-staging:coverage-inline-defsdotty-staging/dotty:coverage-inline-defsCopy head branch name to clipboard