1. 15
  1. 6

    If I got this right this only works if mode is constant and known at compile time? So in other words the same can be done with two custom types for mode, one rb_mode_t and another r_mode_t?

    1. 7

      Yeah, it’s definitely wrong to call this dependent typing. This is just letting some types be parameterized with statically known values. Convenient while working on types, but definitely doesn’t make them dependent.