Check that `Distr` is in scope when tagging distributions, fixing #211#988

Open

oskgo wants to merge 1 commit intomainfrom

Commits on May 4, 2026

fix #211 where defining a lossless distribution without requiring Distr makes rnd panic

oskgo
and
Copilot
committed