This idea could be generalized: -DRuntime would add an interface "ReferenceCountable". -Throwable would implement it.-When a new expression of ReferenceCountable type is used to assign to a scope variable or argument, it's guaranteed to be @nogc. -Non-scoped objects, ReferenceCountable or no, are assumed to not be reference counted.
I wonder it this is what Jack Stouffer was thinking?
