names in `@[term_elab]`

Stream: lean4

[Eric Wieser]

Is this expected behavior?

import Lean

namespace Bar
scoped syntax:74 (name := _root_.foo) "foo " term:75 : term
end Bar

@[term_elab _root_.foo] -- fails
def elabFoo : Lean.Elab.Term.TermElab := sorry

@[term_elab Bar._root_.foo] -- works
def elabFoo' : Lean.Elab.Term.TermElab := sorry