It seems though that you're not going to use interceptors to code up your business logic, or at least not without producing unsuitable code. What they're likel

It seems though that you're not going to use interceptors to code up your business logic, or at least not without producing unsuitable code. What they're likely aimed at is scenarios such as DI frameworks where there is currently "serious magic" code that generates code at runtime using reflection and lightweight code gen; and in new AOT scenarios all of this has to be done ahead of time, during compilation, in source generators, without runtime reflection. In other words, if you're not writing such an DI / AOP library, it's not for you. But if you want to make a "PostSharp style AOP framework" then this is a tool for you to use when building it.