MLIR operations can use auxillary locations as attributes, it seems that we should have something like this in BuiltinAttributes.td: ``` def Builtin_LocationAttr : Builtin_Attr<"Location", []> { .. } ```