I think it is the same system as used when doing macro expansion. Macros use syntax objects with embedded metadata. Both chez and guile usually produces proper

I think it is the same system as used when doing macro expansion. Macros use syntax objects with embedded metadata. Both chez and guile usually produces proper error sites, so it is done in some fashion.