title: Is using the "members in interfaces" feature of C#8 typesafe
body: <p>Subsequent to this question of mine <a href="https://stackoverflow.com/questions/70496526/c8-interfaces-with-properties-methods-defined-in-them-apparently-not-working">C#8 interfaces with properties/methods defined in them - apparently not working</a>, is it possible to use the &quot;members in interfaces&quot; feature without apparently introducing gaping type-holes that the necessary casting (described in the accepted answer) seems to create?</p>
  <p>If dangerous casting is needed for that, it seems potentially a greater liability than an asset.</p>