Right. The closest thing I'm familiar with is the dynamic context used in Serilog[1], where you add log properties to the current scope, which gets added to each log line generated in that scope, and removed once the scope exits.
Of course, no compile-time checking there, so the combination sounds indeed quite useful.
Of course, no compile-time checking there, so the combination sounds indeed quite useful.
https://github.com/serilog/serilog/wiki/Enrichment#the-logco...