Type system should prevent the use of exclusive systems as observers

[alice-i-cecile]

(It should be possible to express this in the type system so that the calls won't even compile, but I did not want to attempt that.)

Agreed, we should tackle this in follow-up at some point.

Originally posted by @alice-i-cecile in #19033 (comment)